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

 - New York  Oxford University Press  2003 
 - xxiii, 664p. 
<br/><br/><label>ISBN: </label>0-19-850075-0