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



This item is out of stock. It can be ordered now for delivery when back in stock.

Notify Me When In Stock

Published: 17 October 2021

432 Pages

9.2 x 6.1 inches

ISBN: 9780192895943

Also Available As:


Request Examination Copy

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

Also of Interest