Normalization, Cut-Elimination, and Consistency Proofs
Description
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.
I have a question about the book:
‘An Introduction to Proof Theory - Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Galvan, Sergio (Emeritus Professor of Logic, Zach, Richard (Professor of Philosophy’.
Fill in the form below.
We will respond as fast as possible.
We value your privacy
We use cookies to measure traffic, improve Boekstra and let Google tailor ads to your interests. You can keep using the site either way — even if you decline. More info
