Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Format:: e-book
Title:: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Author:: Kohlenbach, Ulrich
Language:: English
Publisher:: 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?locale=en