Title : Applied Proof Theory: Proof Interpretations and Their Use in Math
Author : Kohlenbach, U
Year : 2008
Price : € 69.95