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
Proof Theory and Philosophyby Greg Restall - 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.
(14099 views)
Language, Proof and Logicby Jon Barwise, John Etchemendy - 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.
(23954 views)
Proof, Sets, and Logicby 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.
(17201 views)
Logic for Computer Scienceby Jean H. Gallier - 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.
(19680 views)