I: A General Method in Proofs of Undecidability

• 1 January 1953
• book chapter
• Published by Elsevier
• p. 1-34
• https://doi.org/10.1016/s0049-237x(09)70292-7

Abstract