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!

Mathematical Introduction to Robotic Manipulation

Textbook Title: Mathematical Introduction to Robotic Manipulation Textbook Description: This free etextbook covers a mathematical formulation of the kinematics, dynamics,…

A Beginners C++

Textbook Title: A Beginners C++ Textbook Description: A Beginners C++ is primarily intended for introductory Computer Science courses that use…

Foundations of Computer Science

Textbook Title: Foundations of Computer Science Textbook Description: This free online etextbook introduces students to the formal study of computation….

Python For Informatics: Exploring Information

Textbook Title: Python for Informatics: Exploring Information Textbook Description: The first 10 chapters are similar to the Think Python book…