C. H. Langford A Theorem on Deducibility for Second-Order Functions. 77-79 1939 4 J. Symb. Log. 2 db/journals/jsyml/jsyml4.html#Langford39