Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)

Jean H. Gallier

ISBN 10: 0060422254 / ISBN 13: 9780060422257

Published by Longman Higher Education, 1986

About this Item

In very good, unmarked condition. No DJ. Your purchase benefits the world-wide relief efforts of Mennonite Central Committee.

Seller Inventory # mon0000372887

Bibliographic Details

• Title: Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
• Publisher: Longman Higher Education
• Publication Date: 1986
• Language: English
• ISBN 10: 0060422254
• ISBN 13: 9780060422257
• Binding: hardcover
• Condition: Very Good

About this title

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.