On undecidable propositions of formal mathematical systems (1965)

by Kurt Gödel
Venue:Lecture notes taken by Kleene and Rosser at the Institute for Advanced Study