U. Kohlenbach
|
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
—
published
2008
|
|
* Note: these are all the books on Goodreads for this author. To add more, click here.
Is this you? Let us know. If not, help out and invite U. to Goodreads.
