Journals Higher Education

$35.00

Paperback

Published: 17 October 2021

432 Pages

9.2 x 6.1 inches

ISBN: 9780192895943


Also Available As:

Ebook


Instructor Inspection Copy Request


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

$35.00

Paperback

Published: 17 October 2021

432 Pages

9.2 x 6.1 inches

ISBN: 9780192895943


Also Available As:

Ebook


Instructor Inspection Copy Request


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

$35.00

Paperback

Published: 17 October 2021

432 Pages

9.2 x 6.1 inches

ISBN: 9780192895943


Also Available As:

Ebook


Instructor Inspection Copy Request


Bookseller Code (06)