Image from Amazon.com
Image from Google Jackets
Symbolic Logic and Mechanical Theorem Proving
Material type:
TextPublication details: Boston Academic Press 1973ISBN: - 0121703509
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Goa University Library General Stacks 2 | 511.3 CHA-LEE (Browse shelf(Opens below)) | Available | 047590 |
Browsing Goa University Library shelves, Shelving location: General Stacks 2 Close shelf browser (Hides shelf browser)
|
|
No cover image available No cover image available |
|
|
No cover image available No cover image available | No cover image available No cover image available | ||
| 511.3 BOR/Com Computer science logic | 511.3 BUN/Mat Mathematical fallacies and paradoxes / | 511.3 CAU/Log Logic, sets, and recursion | 511.3 CHA-LEE Symbolic Logic and Mechanical Theorem Proving | 511.3 DAV/Com Computability and unsolvability | 511.3 DOE-LEV Applied Discrete Structures for Computer Science | 511.3 ERS-PAL Mathematical Logic |
There are no comments on this title.
Log in to your account to post a comment.