The Logic Theory Machine (1956) [pdf]shelf1.library.cmu.edu1 point·johnwdefeo··0 commentsOpen articleSaveView on HN