Gödel's theorem, Church's theorem, and mechanism

• 1 June 1961
• journal article
• Published by Springer Nature in Synthese
• Vol. 13  (2) , 105-110
• https://doi.org/10.1007/bf00634578

Abstract