Luckhardt, Horst. <br/><br/>
Extensional Gödel functional interpretation :  A consistency proof of classical analysis / 
Horst Luckhardt. 
 - Berlin  New York :  Springer-Verlag,  1973. 
 - vi, 161 p. ;  26 cm. 
 - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann  Vol. 306 .
 - Lecture notes in mathematics (Springer-Verlag) ;  306. .
<br/><br/>Bibliogr.: p. 157-161. 
<br/><br/><label>ISBN: </label>0387061193 (New York) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Intuitionistic mathematics