Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...
USD 20.95 USD
Condition Notes: A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear.
Specifications
| Release Year | 1973 |
| ISBN | 9780121703509 |
| Subject Area | Mathematics, Computers |
| Item Length | 9 in |
| Publication Year | 1973 |
| Type | Textbook |
| Format | Hardcover |
| Language | English |
| Item Height | 0.4 in |
| Item Weight | 24.5 Oz |
| Item Width | 6 in |
| Number Of Pages | 331 Pages |
What stands out about this textbook is the comparative tables that show differences.