Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

MLA

Kohlenbach, Ulrich. Applied Proof Theory: Proof Interpretations and Their Use In Mathematics. Springer Berlin Heidelberg, 2008.

APA

Kohlenbach, U. (2008). Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Berlin Heidelberg.

Chicago

Kohlenbach, Ulrich Applied Proof Theory: Proof Interpretations and Their Use In Mathematics. : Springer Berlin Heidelberg, 2008.