An introduction to proof theory : normalization, cut-elimination, and consistency proofs
Paolo Mancosu (Author), Sergio Galvan (Author), Richard Zach (Author)
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding
1 online resource (x, 418 pages) : illustrations.
9780192649294, 9780191938795, 0192649299, 0191938793
1268483436
1 Introduction
2 Axiomatic calculi
3 Natural deduction
4 Normal deductions
5 The sequent calculus
6 The cut-elimination theorem
7 The consistency of arithmetic
8 Ordinal notations and induction
9 The consistency of arithmetic, continued
Show Subsections A The Greek alphabet
B Set-theoretic notation
C Axioms, rules, and theorems of axiomatic calculi
D Exercises on axiomatic derivations
E Natural deduction
F Sequent calculus
G Outline of the cut-elimination theorem
Bibliography
Index
public.eblib.com Click here to view book