Undecidable diophantine propositions (1995)

by K Gödel
Venue:In: Gödel