Troelstra, A. S. (Universiteit van Amsterdam), Schwichtenberg, H. (Universitat Munchen)
Omschrijving
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.
Ik heb een vraag over het boek:
‘Basic Proof Theory - Troelstra, A. S. (Universiteit van Amsterdam), Schwichtenberg, H. (Universitat Munchen)’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
