An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs, Paperback/***
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. Publisher: Oxford University Press Author(s): Richard (Professor of Philosophy, Professor of Philosophy, University of Calgary) Zach Number of pages: 432 Publication date: 2021 Dimensions: 157 x 233 x 26 Cover type: Paperback / softback