Reddit Reddit reviews Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

We found 1 Reddit comments about Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics). Here are the top ones, ranked by their Reddit score.

Computers & Technology
Books
Computer Science
AI & Machine Learning
Artificial Intelligence Expert Systems
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Check price on Amazon

1 Reddit comment about Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics):

u/kukulaj ยท 2 pointsr/math

Chang & Lee's book is a classical starting point:

http://www.amazon.com/Symbolic-Mechanical-Theorem-Computer-Mathematics/dp/0121703509/