This is the one you add to your cart
Parameters
Categories
Book purchase
Symbolic Logic and Mechanical Theorem Proving, Chin-Liang Chang, Richard CharTung Lee
- Mechanical damage
- Withdrawn from library
- Language
- Released
- product-detail.submit-box.info.binding
- (Hardcover),
- Book condition
- Damaged
- Price
- €6.69
Payment methods
- Title
- Symbolic Logic and Mechanical Theorem Proving
- Subtitle
- Computer Science and Applied Mathematics
- Language
- English
- Authors
- Chin-Liang Chang, Richard CharTung Lee
- Publisher
- Academic Press
- Format
- Hardcover
- ISBN10
- 0121703509
- ISBN13
- 9780121703509
- Category
- Mathematics