Nagel, Ernest <br/><br/>
Godel's proof / 

 -  1964.