**Logic for Computer Science**

by Jean H. Gallier

**Publisher**: Longman Higher Education 1986**ISBN/ASIN**: 0060422254**ISBN-13**: 9780060422257**Number of pages**: 528

**Description**:

This book 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. This book is designed primarily for computer scientists, and more generally, for mathematically inclined readers interested in the formalization of proofs, and the foundations of automatic theorem-proving.

Download or read it online for free here:

**Download link**

(multiple PDF, PS files)

## Similar books

**Language, Proof and Logic**

by

**Jon Barwise, John Etchemendy**-

**Center for the Study of Language**

The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.

(

**15298**views)

**Logic and Proof**

by

**Lawrence C Paulson**-

**University of Cambridge**

These lecture notes give a brief introduction to logic, with including the resolution method of theorem-proving and its relation to the programming language Prolog. Formal logic is used for specifying and verifying computer systems.

(

**11123**views)

**Introduction to Proof Theory**

by

**Gilles Dowek**-

**ESSLLI**

These are the course notes for the 13th European Summer School in Logic, Language and Information. Contents: Predicate Logic; Extension of Predicate Logic; Type Theory; Cut Elimination in Predicate Logic; Cut Elimination in Predicate Logic Modulo.

(

**7085**views)

**Proof, Sets, and Logic**

by

**M. Randall Holmes**-

**Boise State University**

This textbook is intended to communicate something about proof, sets, and logic. It is about the foundations of mathematics, a subject which results when mathematicians examine the subject matter and the practice of their own subject very carefully.

(

**12356**views)