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: Proof, Sets, and LogicProof, Sets, and Logic
by - 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.
(10059 views)
Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - 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.
(9927 views)
Book cover: Language, Proof and LogicLanguage, Proof and Logic
by - Center for the Study of Language
The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.
(12236 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.
(7657 views)