Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Chin-Liang Chang and Richard Char-Tung Lee
Language: English
Published by Academic Press, New York San Francisco London, 1973
- First Edition
- Hardcover
- Used
Seller: Theoria Books, Andover, MA, U.S.A.Theoria Books
AbeBooks seller since June 12, 2016
Condition: Used - Near fine
US$ 48.00
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # 000441
- Title
- Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
- Author
- Chin-Liang Chang and Richard Char-Tung Lee
- Publisher
- Academic Press, New York San Francisco London
- Publication year
- 1973
- Condition
- Near Fine
- Dust jacket
- Good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0121703509
- ISBN 13
- 9780121703509
- Edition
- 1st Edition
- Dimensions
- 8vo - over 7¾ - 9¾" tall
"Synopsis" may belong to another edition of this title.
From the Back Cover
This classic text provides a thorough discussion of mechanical theorem proving and its applications as well as an introduction to symbolic logic. A purely model-theoretic approach to first-order logic is adopted, and the book emphasizes efficient computer implementations of proof techniques.
Appropriate for both undergraduates and graduate courses in theorem proving, this text is also suitable as a supplementary textbook in artificial intelligence to provide the student with a background in mechanical theorem proving and application areas.
"About the title" may belong to another edition of this title.
Theoria Books
Andover, MA, U.S.A.
AbeBooks seller since June 12, 2016
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 5.50 | US$ 11.95 |
Payment methods
Store description
Specialty
Scholarly and general stockSeller's business information
Theoria Books
MA, U.S.A.
Terms of sale
We abide by the current policies set by Abebooks. Please submit all orders through Abebooks.com
Shipping terms
All domestic orders will be sent by USPS Media Mail, unless some other mode of shipping is requested or required and accepted in advance of shipping. International orders will be sent by USPS International Flat-Rate Priority envelope or box, unless the current weight and size restrictions cannot be met [e.g.: (1) the item is too large to fit the International Flat-Rate envelope or box or (2) the item weighs over 4 lbs. or (3) insurance is requested or required (e.g., the book is worth $40.00 or more)--in each such case, the item will be sent, only if the given destination country allows for it, by signing for the item.] All books sent by USPS Flat-Rate unpadded envelope (or padded envelope, moreover) will be wrapped in paper and packed between cardboard sheets larger than the book or with cardboard affixed at the corners, in order to prevent damage to the book during shipment. Books sent in boxes will also be wrapped in paper and suitably packed to avoid movement in box. The goal here is to ship essentially at cost, rather than to reap additional profit beyond the cost of shipping, thus keeping the customer's cost for shipping as low as possible.