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



Published: 17 August 2021

432 Pages


ISBN: 9780192895943

Also Available As:


Also Available In:

Request Inspection Copy

Bookseller Code (AG)

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

Also of Interest