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 PHP Cookbook

Textbook Title: The PHP Cookbook Textbook Description: This free etextbook online provides a collection of problems, solutions, and practical examples…

Data Structures and Algorithm Analysis in C++

Textbook Title: Data Structures and Algorithm Analysis in C++ Textbook Description: This free textbook available for download provides the reader…

Introduction to Computer Science Using Java

Textbook Title: Introduction to Computer Science Using Java Textbook Description: This textbook covers most of a beginning course in computer…

The Book Of Ruby

Textbook Title: The Book Of Ruby Textbook Description: The Book Of Ruby concentrates principally on version 1.8.x of the Ruby…