Analysing proofs in analysis (1993)

by U Kohlenbach
Venue:Logic: from Foundations to Applications. European Logic Colloquium (Keele