アロンゾ・チャーチ
[1] "An unsolvable problem in elementary number theory," American Journal of Mathematics, Vol. 58, 1936, pp. 345-363.
[2] "A note on the Entscheidungsproblem," Journal of Symbolic Logic, Vol. 1, 1936, pp. 40-41.
[3] "A bibliography of symbolic logic," Journal of Symbolic Logic Vol. 1, 1936, pp. 121-218; Vol. 3, 1938, pp. 178-212. Revised and expanded edition reissued by ASL, 1985 (ISBN 0821800841).
[4] The Calculi of Lambda Conversion, Princeton University Press, 1941.
[5] Introduction to Mathematical Logic, Part I, Princeton University Press, 1944; Revised and enlarged edition, 1956 (ISBN 0691079846).