Ordinal logics and the characterization of informal notions of proof (1958)

by Georg Kreisel
Venue:Proceedings of the International Congress of Mathematicians. Edinburgh, 14–21