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!

The Elements of Computing Systems

Textbook Title: The Elements of Computing Systems Textbook Description: This free etextbook online exposes college students to a significant body…

Computer Networks: Performance And Quality Of Service

Textbook Title: Computer Networks: Performance and Quality of Service Textbook Description: This textbook reviews modern computer networks with a particular…

Java Web Programming with Eclipse

Textbook Title: Java Web Programming with Eclipse Textbook Description: This free online etextbook introduces students to web application development in…

Search Algorithms and Applications

Textbook Title: Search Algorithms and Applications Textbook Description: This free online etextbook demonstrates the wide applicability of search algorithms for…