Analyzing Proofs in Analysis (1993)

by Ulrich Kohlenbach
Venue:LOGIC: FROM FOUNDATIONS TO APPLICATIONS. EUROPEAN LOGIC COLLOQUIUM (KEELE
Citations:50 - 31 self