Troelstra, A. S. (Universiteit van Amsterdam), Schwichtenberg, H. (Universitat Munchen)
Description
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
I have a question about the book:
'Basic Proof Theory - Troelstra, A. S. (Universiteit van Amsterdam), Schwichtenberg, H. (Universitat Munchen)'.
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
