**Proof Theory and Philosophy**

by Greg Restall

**Publisher**: consequently.org 2006**Number of pages**: 168

**Description**:

This is a usable textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly, pedagogically useful and philosophically motivated presentation.

Download or read it online for free here:

**Download link**

(1MB, PDF)

## Similar books

**Deductive Logic**

by

**St. George Stock**-

**Longmans**

The author's object has been to produce a work which should be thoroughly representative of the present state of the logic of the Oxford Schools. The qualities which he aimed at before all others were clearness and consistency.

(

**8231**views)

**Symbolic Logic**

by

**Lewis Carroll**-

**Macmillan and co**

Here you see Carroll the mathematician at his playful best. This isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler.

(

**11037**views)

**The Origin and Significance of Hegel's Logic**

by

**J. B. Baillie**-

**MacMillan**

The student of Hegel usually finds the Logic the most forbidding part of the System. The aim of the book is to attempt to remove the difficulties in the way of understanding the Logic, but also regarding the point of view of the System generally.

(

**8129**views)

**A Concise Introduction to Logic**

by

**Craig DeLancey**-

**Open SUNY Textbooks**

A Concise Introduction to Logic is an introduction to formal logic suitable for undergraduates taking a general education course in logic or critical thinking, and is accessible and useful to any interested in gaining a basic understanding of logic.

(

**2257**views)