1936. « General recursive functions

1936. « General recursive functions of natural numbers », Math. Ann., 112, 727-742.
1952. Introduction to Metamathematics. New York: Van Nostrand. (Ishi Press: 2009 reprint).
1956. "Representation of Events in Nerve Nets and Finite Automata" in Automata Studies. Claude Shannon and John McCarthy, eds.
1965 (with Richard Eugene Vesley). The Foundations of Intuitionistic Mathematics. North-Holland.
1967. Mathematical Logic. John Wiley. Dover reprint, 2002. ISBN 0-486-42533-9.
1981. "Origins of Recursive Function Theory" in Annals of the History of Computing 3.

ผลลัพธ์ (ไทย) 1:

1936. «ซ้ำทั่วไปฟังก์ชันจำนวนธรรมชาติ», คณิตศาสตร์ Ann., 112, 727-7421952. แนะนำ Metamathematics นิวยอร์ก: Van Nostrand (กด Ishi: 2009 พิมพ์)1956. "แสดงในตาข่ายของเส้นประสาทและออโตมาตาจำกัด" ในการศึกษาออโตมาตานั้น คล็อดแชนนอนและจอห์นแมคคาร์ธี edsปี 1965 กับริชาร์ด Eugene Vesley) รากฐานของคณิตศาสตร์ Intuitionistic เหนือฮอลแลนด์1967. คณิตตรรกศาสตร์ จอห์น Wiley โดเวอร์พิมพ์ 2002 ISBN 0-486-42533-91981. "ต้นกำเนิดของทฤษฎีฟังก์ชันแบบเรียกซ้ำ" ในพงศาวดารประวัติศาสตร์คอมพิวเตอร์ 3

ผลลัพธ์ (ไทย) 2:

1936 «หน้าที่ recursive ทั่วไปจำนวนธรรมชาติ»คณิตศาสตร์ แอน., 112, 727-742.
1952 รู้เบื้องต้นเกี่ยวกับ Metamathematics นิวยอร์ก: Van Nostrand (อิชิกด: 2009 พิมพ์).
1956 "ตัวแทนของเหตุการณ์ในตาข่ายและเส้นประสาทออโต จำกัด " ในการศึกษาออโต คลอดด์แชนนอนและจอห์นแมคคาร์สหพันธ์.
1965 (ริชาร์ดยู Vesley) ฐานรากของคณิตศาสตร์ Intuitionistic North-Holland.
1967 ลอจิกคณิตศาสตร์ John Wiley โดเวอร์พิมพ์ 2002 ISBN 0-486-42533-9.
1981 "ต้นกำเนิดของทฤษฎีซ้ำฟังก์ชั่น" ในพงศาวดารประวัติศาสตร์ของคอมพิวเตอร์ 3