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!

Learn Ruby The Hard Way

Textbook Title: Learn Ruby The Hard Way Textbook Description: This free etextbook online requires the reader to have no prior…

Image Fusion and Its Applications

Textbook Title: Image Fusion and Its Applications Textbook Description: This free etextbook provides an overview of basic image fusion techniques…

Introduction to Computer Security: The NIST Handbook

Textbook Title: Introduction to Computer Security: The NIST Handbook Textbook Description: This free online etextbook provides assistance in securing computer-based…

Quantum Information Theory

Textbook Title: Quantum Information Theory Textbook Description: This free online etextbook covers the theory that physics and the theory of…