A Formal Theorem in Church's Theory of Types.

M. H. A. Newman Alan M. Turing A Formal Theorem in Church's Theory of Types. 28-33 1942 7 J. Symb. Log. 1 db/journals/jsyml/jsyml7.html#NewmanT42