Get Access Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics).
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
by Chin-Liang Chang, Richard Char-Tung Lee
Binding: Hardcover
Author:
Number of Pages:
Amazon Page : https://www.amazon.com/Symbolic-Mechanical-Theorem-Computer-Classics/dp/0121703509
Amazon Price : $58.31
Lowest Price :
Total Offers :
Rating: 5.0
Total Reviews: 4
