Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Academic Press
ISBN13:
9780121703509
$88.44
- | Author: Chin-Liang Chang
- | Publisher: Academic Press
- | Publication Date: May 28, 1973
- | Number of Pages: 331 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 0121703509
- | ISBN-13: 9780121703509
- Author:
- Chin-Liang Chang
- Publisher:
- Academic Press
- Publication Date:
- May 28, 1973
- Number of pages:
- 331 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 0121703509
- ISBN-13:
- 9780121703509