Stephen Cole Kleene Third Meeting of the Association for Symbolic Logic. 59-60 1938 3 J. Symb. Log. 1 db/journals/jsyml/jsyml3.html#Kleene38