Why Logic Is Important for Computer Science (2017)cs.utexas.edu2 points·mathattack··0 commentsOpen articleSaveView on HN