Logo

Introduction to Proof Theory

Small book cover: Introduction to Proof Theory

Introduction to Proof Theory
by

Publisher: ESSLLI
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.

Home page url

Download or read it online for free here:
Download link
(620KB, PDF)

Similar books

Book cover: Logic and ProofLogic and Proof
by - 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.
(9619 views)
Book cover: Proof Theory and PhilosophyProof Theory and Philosophy
by - consequently.org
A 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 and philosophically motivated presentation.
(8320 views)
Book cover: Logic for Computer ScienceLogic for Computer Science
by - Longman Higher Education
This online book is an introduction to mathematical logic. The emphasis is on proof theory and algorithmical procedures for formal proofs. The book is designed for computer scientists and mathematically inclined readers.
(13545 views)
Book cover: Proofs and TypesProofs and Types
by - 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.
(12305 views)