G. Kreisel. Ordinal logics and the characterization of informal concepts of proof. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 289–299.
Dana Scott · Journal of Symbolic Logic · 1962
G. Kreisel. Ordinal logics and the characterization of informal concepts of proof. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 289–299. - Volume 27 Issue 1