331pp.,xiii. No edition cited; no number line: First Printing. Appendix A, "A Computer Program Using Unit Binary Resolution", pp. 287-305; Appendix B, "Proof of Lemma 8.2", pp. 306-308; Bibliography, in Parts I, II, III, pp. 309-324; Index, pp. 325-331. Dark blue fine linen with brilliant gilt-stamped lettering on spine and front cover; lower cover corners slightly bumped, upper corners sharp; 16 pp. of 331pp. have minor amount of green ink underlining ( pp. 2-8, 10, 27-31, 34-35, 72); 5 pages have light pencil lines and annotations, which may be of interest to next book owner, else can easily be erased). Strong binding. Glossy medium blue dustwrapper with silver lettering on upper half front cover, above derivation tree diagram; dw worn, chipped, missing bits at extremities: NOW in mylar which forgives these sins graciously. No previous owner names.

Seller Inventory # 000441

Contact seller

Report this item

Bibliographic Details

Title: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Publisher: Academic Press, New York San Francisco London
Publication Date: 1973
Language: English
ISBN 10: 0121703509
ISBN 13: 9780121703509
Binding: Hardcover
Edition: 1st Edition
Condition: Near Fine
Dust Jacket Condition: Good

About this title

Synopsis

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

From the Back Cover

Mechanical theorem proving is an important subject in artificial intelligence. It has been applied to many areas--program analysis, program synthesis, deductive question-answering systems, problem-solving systems, and robot technology.
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 this title" may belong to another edition of this title.

Store Description

Retired academic's reference library with specialization in philosophy, religion, science, and mathematics--all scholarly subject areas; Pre-Socratics to contemporary; biographies; some series collections. General stock also, including fiction, poetry, literary criticism, mysteries, some foreign language, children's, history, sociology, psychology, education. Some signed copies.

Visit Seller's Storefront

Seller's business information

Theoria Books
MA, U.S.A.

Sale & Shipping Terms

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 or insurance is requested or required (e.g., the book is worth $40.00 or more). 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.