This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory t

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

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advance

This text is intended as an introduction to mathematical proofs for students. It is distilled from the lecture notes for a course focused on set theory subject

The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ̈ Wilhelms–Universitat ̈