Alonzo Church Correction to a Note on the Entscheidungsproblem. 101-102 1936 1 J. Symb. Log. 3 db/journals/jsyml/jsyml1.html#Church36a