On the Unusual Effectiveness of Logic in Computer Science (2001) [pdf]cs.cmu.edu2 points·alokrai··0 commentsOpen articleSaveView on HN