A simple method for undecidability proofs and some applications (1965)

by M Rabin
Venue:in: Y. Bar-Hillel (Ed.), Logic, Methodology and Philosophy of Science II, North-Holland