Feferman, S. [et al.] eds <br/><br/>
Kurt Godel Collected works - V. 1 

 - New York  Oxford University Press  1986 
 - xvi, 474p. 
<br/><br/><label>ISBN: </label>0-19-503964-5