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

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

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the