Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)

4.5 avg rating
( 2 ratings by GoodReads )
 
9780060422257: Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)

"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 are: 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.

Top Search Results from the AbeBooks Marketplace

1.

Gallier, Jean
Published by Longman Higher Education (1986)
ISBN 10: 0060422254 ISBN 13: 9780060422257
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Longman Higher Education, 1986. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0060422254

More Information About This Seller | Ask Bookseller a Question

Buy New
68.17
Convert Currency

Add to Basket

Shipping: 3.23
Within U.S.A.
Destination, Rates & Speeds

2.

Gallier, Jean
Published by Longman Higher Education (1986)
ISBN 10: 0060422254 ISBN 13: 9780060422257
New Hardcover Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Longman Higher Education, 1986. Hardcover. Book Condition: New. New item. Bookseller Inventory # QX-002-45-1510001

More Information About This Seller | Ask Bookseller a Question

Buy New
122.23
Convert Currency

Add to Basket

Shipping: 8.11
Within U.S.A.
Destination, Rates & Speeds