Computer Science: Foundations of Automatic Theorem Proving

Textbook Title: Computer Science: Foundations of Automatic Theorem Proving

Textbook Description:
This free online etextbook is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains some features rarely found in other texts on logic.

Author: Jean H. Gallier
Subjects: Computer Science
Key words: Computer Science
Download URL:
http://www.cis.upenn.edu/~jean/gbooks/logic.html

Only Registered Users Can Save eTextbooks to Their TextBookGo Account. Sign Up For Free!

Essentials of Geographic Information Systems

Textbook Title: Essentials of Geographic Information Systems Textbook Description: This free etextbook integrates the key concepts behind the GIS technology…

Introduction to Methods of Applied Mathematics

Textbook Title: Introduction to Methods of Applied Mathematics Textbook Description: The Introduction to Methods of Applied Mathematics textbook contains material…

A Balanced Introduction to Computer Science

Textbook Title: A Balanced Introduction to Computer Science Textbook Description: This free online textbook covers concepts and issues in computing…

Logics of Time and Computation

Textbook Title: Logics of Time and Computation Textbook Description: This free etextbook outlines the basic theory of normal modal and…