**Introduction to Proof Theory**

by Gilles Dowek

**Publisher**: ESSLLI 2001**Number of pages**: 82

**Description**:

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.

Download or read it online for free here:

**Download link**

(620KB, PDF)

## Similar books

**Proofs and Types**

by

**J. Girard, Y. Lafont, P. Taylor**-

**Cambridge University Press**

This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.

(

**14386**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.

(

**11583**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.

(

**12804**views)

**Isabelle/HOL: A Proof Assistant for Higher-Order Logic**

by

**T. Nipkow, L.C. Paulson, M. Wenzel**-

**Springer**

This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.

(

**14402**views)