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

 - New York  Oxford University Press  2003 
 - xix, 662p. 
<br/><br/><label>ISBN: </label>0-19-850073-4