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

£25.00

Paperback

Published: 17 August 2021

432 Pages

234x156mm

ISBN: 9780192895943


Also Available As:

Ebook


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