Analyzing proofs in analysis. Preprint 25 p. To appear in (0)

by U Kohlenbach
Venue:Proceedings Logic Colloquium’93 (Keele