An introduction to proof theory : normalization, cut-elimination, and consistency proofs
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.
Print Book, English, 2021
First edition View all formats and editions
Oxford University Press, Oxford, 2021
xii, 418 Seiten : Illustrationen ; 24 cm
9780192895943, 9780192895936, 019289594X, 0192895931
1277017264
Preface1 Introduction2 Axiomatic calculi3 Natural deduction4 Normal deductions5 The sequent calculus6 The cut-elimination theorem7 The consistency of arithmetic8 Constructive ordinals and induction9 The consistency of arithmetic, continuedAppendices:A The Greek alphabetB Set-theoretic notationC Axioms, rules, and theorems of axiomatic calculiD Exercises on axiomatic derivationsE Natural deductionF Sequent calculusG Outline of the cut elimination theorem