1. Actualités scientifiques et industrielles;N. Bourbaki,1939
2. Church, A.: A set of postulates for the foundations of logic. Ann. Math., Ser. 2 33, 346–366 (1932–1933); 34, 839–864
3. Annals of Mathematical Studies;A. Church,1941
4. Annals of Mathematical Studies;A. Church,1944
5. Church, A.: Introduction to Mathematical Logic I. Princeton University Press, Princeton (1956). Revised and much enlarged edition of Church [4]