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
Proofs and Types
by J. Girard, Y. Lafont, P. Taylor - 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.
(18232 views)
by J. Girard, Y. Lafont, P. Taylor - 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.
(18232 views)
Proof, Sets, and Logic
by 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.
(15245 views)
by 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.
(15245 views)
Logic for Computer Science
by 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.
(17937 views)
by 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.
(17937 views)
Logic and Proof
by Lawrence C Paulson - 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.
(14191 views)
by Lawrence C Paulson - 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.
(14191 views)