Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series) - Hardcover
Synopsis
"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these the use of Gentzen systems; a justification of the resolution method via a translation from a Gentzen system; a presentation of SLD-resolution and a presentation of the foundations of PROLOG; fast decisions procedures based on congruence closures.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logic for Computer Science: Foundations of Automatic...
Stock Image
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Published by
Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP95935838
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_389988481
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Published by
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0060422254I5N01
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Published by
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
First Edition
Seller: Jay W. Nelson, Bookseller, IOBA, Austin, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket. Seller Inventory # 105306
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Cloth. Condition: Good. No Jacket. Type: Book N.B. Small plain label to inside front cover. No dust jacket. Light rubbing to head and tail of spine and corners of boards. Seller Inventory # 058562
Buy Used
US$ 27.04
Shipping:
US$ 32.82
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Published by
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: The Media Foundation, BEAVERTON, OR, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Fine. Former library asset (with library stamp on inside cover). Cover shows shelf wear. (price reflects) Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community. Seller Inventory # mon0000026225
Stock Image
Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks7375
Stock Image
Logic for Computer Science: Foundations of Automatic Theorem Proving
Published by
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Used
Hardcover
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Sehr gut. 528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3. Seller Inventory # 35279