On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a col

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 ̈

This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text

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