# Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

ePUB

- eBook:Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
- Author:Jean H. Gallier
- Edition:2 edition
- Categories:
- Data:June 18, 2015
- ISBN:0486780821
- ISBN-13:9780486780825
- Language:English
- Pages:528 pages
- Format:ePUB

**Book Description**

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.

**Content**

Chapter 2. MATHEMATICAL PRELIMINARIES

Chapter 3. PROPOSITIONAL LOGIC

Chapter 4. RESOLUTION IN PROPOSITIONAL LOGIC

Chapter 5. FIRST-ORDER LOGIC

Chapter 6. GENTZEN’S CUT ELIMINATION THEOREM AND APPLICATIONS

Chapter 7. GENTZEN’S SHARPENED HAUPTSATZ HERBRAND’S THEOREM

Chapter 8. RESOLUTION IN FIRST-ORDER LOGIC

Chapter 9. SLD-RESOLUTION AND LOGIC PROGRAMMING (PROLOG)

Chapter 10. MANY-SORTED FIRST-ORDER LOGIC

## Download **Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition** PDF or ePUB format free

**Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition**

Free sample