Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Proof Interpretations and Their Use in Mathematics
Omschrijving
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.
Ik heb een vraag over het boek: ‘Applied Proof Theory: Proof Interpretations and their Use in Mathematics - Ulrich Kohlenbach’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
