Church, A. (1956). Introduction to Mathematical Logic. Princeton.
Παραπομπή σε μορφή Chicago (17η εκδ.)Church, Alonzo. Introduction to Mathematical Logic. Princeton,New Jersey: Princeton, 1956.
Παραπομπή σε μορφή MLA (9th εκδ.)Church, Alonzo. Introduction to Mathematical Logic. Princeton, 1956.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.