Church, Alonzo "An unsolvable problem of elementary number theory" in American Journal of Mathematics, 58 (1936) pp345-363

Languages mentioned

• Church typed-lambda calculus {1941} Church
• Lambda Calculus {1936}