Ulrich Kohlenbach

Applied Proof Theory: Proof Interpretations and their Use in Mathematics - 2008 - Springer Berlin Heidelberg 2008 - Springer Monographs in Mathematics .

9783540775331


Mathematics and Statistics