Applied Proof Theory Proof Interpretations & their Use in Mathematics Kohlenbach-Springer (2008)
Published: May 20, 2008