#7,800 in Computers & technology books
Use arrows to jump to the previous/next product
Reddit mentions of Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Sentiment score: 0
Reddit mentions: 1
We found 1 Reddit mentions of Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics). Here are the top ones.
Buying options
View on Amazon.comor
Specs:
Height | 9 Inches |
Length | 6 Inches |
Number of items | 1 |
Weight | 1.4109584768 Pounds |
Width | 0.81 Inches |
Chang & Lee's book is a classical starting point:
http://www.amazon.com/Symbolic-Mechanical-Theorem-Computer-Mathematics/dp/0121703509/