Overview
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.
This book title, Logic for Computer Science (Foundations of Automatic Theorem Proving, Second Edition), ISBN: 9780486780825, by Jean H. Gallier, published by Dover Publications (June 18, 2015) is available in paperback. Our minimum order quantity is 25 copies. All standard bulk book orders ship FREE in the continental USA and delivered in 4-10 business days.
Unlike Amazon and other retailers who may also offer Logic for Computer Science (Foundations of Automatic Theorem Proving, Second Edition) books on their website, we specialize in large quantities and provide personal service, from trusted, experienced, friendly people in Portland, Oregon. We offer a Price Match Guarantee, and QuickQuote form, to make purchasing quick and easy.
Prefer to work with a human being when you order Logic for Computer Science (Foundations of Automatic Theorem Proving, Second Edition) books in bulk? Our Book Specialists are standing by Monday-Friday 8-5 PST, ready to help!