Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Type:: e-book
Titel:: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Auteur:: Kohlenbach, Ulrich
Taal:: Engels
Uitgever:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-77532-3
9786611493783
1-281-49378-3
3-540-77533-1
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000440686