Computability and Undecidability (1958)

by M Davis