Absolutely unsolvable problems and relatively undecidable propositions – Account of an anticipation (1941)

by E L Post
Venue:In Collected Works of Post