Applied Proof Theory: Proof Interpretations and their Use (2008)

by U Kohlenbach
Venue:in Mathematics, Springer Monographs in Mathematics