"Proof Theory: The First Step into Impredicativity" von Wolfram Pohlers ist ein Fachbuch, das sich mit der Beweistheorie, einem wichtigen Bereich der mathematischen Logik, befasst. Das Buch bietet eine Einführung in die grundlegenden...

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 advanced level. The heart of the book is the ordinal analysis of axiom systems, with...