Welcome to E-Books Directory
This is a freely downloadable e-book.
Introduction to Proof Theory
Read this book online or download it here for free
Custom Search
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.