An essentially undecidable axiom system (1952)

by Rafael Robinson
Venue:In: Inernational Congress of Mathematicians (II,6); 1950 Cambridge MA, proceedings of the International Congress of Mathematicians, American Mathematical Society