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

by G Kreisel
Venue:in Proceedings of the International Congress of Mathematicians