Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
Logic for Computer Science: Foundations of Automatic Theorem Provin...
Book Details
-
Author: Jean H. Gallier
-
Publisher: Dover Publications
-
Language: English
-
Edition: First Edition
-
ISBN: 9780486780825
-
Pages: 528
-
Binding: Paperback
-
Dimensions: 9.2 x 6.2 x 1.1 inches
About The Book
Mathematical Logic: A First Course by Jean H. Gallier provides an advanced yet accessible introduction to mathematical logic, with a primary focus on proof theory and the algorithmic construction of formal proofs. This textbook is ideal for undergraduate and graduate students, as well as computer scientists and anyone with a keen interest in formalizing proofs and automatic theorem proving.
The book covers a wide range of critical topics in mathematical logic, beginning with propositional logic and its resolution methods, followed by an exploration of first-order logic. A detailed discussion of Gentzen’s cut elimination theorem and its applications is included, along with Gentzen's sharpened Hauptsatz and Herbrand's theorem, which are foundational results in proof theory.
Additionally, the book delves into more advanced topics such as SLD-resolution, logic programming, and the principles behind PROLOG. The coverage of many-sorted first-order logic offers further depth in understanding logical frameworks used in computer science.
This self-contained textbook is designed with numerous exercises throughout, making it a practical tool for self-study and classroom instruction. Two appendices provide essential background information for readers, ensuring they have all the necessary resources for mastering the material.
Whether you're a student of mathematics or computer science, or a professional working in fields that require formal logic and proof systems, Mathematical Logic: A First Course will equip you with a comprehensive understanding of these key topics. Its clear explanations and extensive problem sets make it an invaluable resource for anyone serious about the foundations of logic.
