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 readers 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.