The Undecidable (1965)

by Martin Davis, ed
Venue:Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions