Luckhardt, Horst <br/><br/>
Extensional Godel functional intepretation: A consistency of proof of classical analysis 

 - 
 - Berlin  Springer-Verlag  1973 
 - vi,161p.   
<br/><br/>   
<br/><br/><label>ISBN: </label>
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Index Terms: </label>classical analysis  godel function  Theory of functions 
<br/><br/><label>Dewey Class. No.: </label>517.5