Download ♌ 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: Chin-Liang Chang, Richard Char-Tung Lee
Number of Pages: 349
Amazon Page : https://www.amazon.com/Symbolic-Mechanical-Theorem-Computer-Classics/dp/0121703509
Amazon Price : $65.07
Lowest Price : $16.69
Total Offers : 48
Rating: 5.0
Total Reviews: 4
