Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 12 October 2021

432 Pages

9.2 x 6.1 inches

ISBN: 9780192895936

Also Available As:


Bookseller Code (06)

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu, Sergio Galvan, and Richard Zach

  • The first introduction to cover structural as well as ordinal proof theory
  • Provides fully worked out theorems with detailed examples
  • Assumes an elementary level of background in logic, providing an accessible introduction to the topic