Analyzing Proofs in Analysis (1993)

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