Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition Dover Books on Computer Science | First Edition, First Edition

Compare Textbook Prices for Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition Dover Books on Computer Science First Edition, First Edition ISBN 9780486780825 by Gallier, Jean H.
Author: Gallier, Jean H.
ISBN:0486780821
ISBN-13: 9780486780825
List Price: $32.55 (up to 3% savings)
Prices shown are the lowest from
the top textbook retailers.

View all Prices by Retailer

Details about Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition Dover Books on Computer Science:

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.

Need a Mathematics tutor? View profile below:
Yosi B.
(0 reviews)
Education: Cochran GA
Major: Retired college professor, over 30 years experience; CAN teach ANYONE, who ACTULY WANTS to learn.

With over 30 years of teaching, I have the honor and pleasure to say that I have former students – who are doctors, scientists, Engineers, and business men & women - who still keep in touch and even come to visit. Some keep in-touch even from other countries and many call or Skype; and some call for help and advice. Read more

With over 30 years of teaching, I have the honor and pleasure to say that I have former students – who are doctors, scientists, Engineers, and business men & women - who still keep in touch and even come to visit. Some keep in-touch even from other countries and many call or Skype; and some call for help and advice. Read more

Need Mathematics course notes? Start your search below: