Welcome to E-Books Directory
This is a freely downloadable e-book.

Introduction to Proof Theory

Introduction to Proof Theory
by Gilles Dowek

Publisher: ESSLLI 2001
Number of pages: 82

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.

Home page url

Download or read it online here:

Download link

 (620KB, PDF)