Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch
USD 45.00 USD
Publisher : Academic Press. May not include working access code. Will not include dust jacket.
Specifications
| 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 way it ties theory to everyday life.
