TY  - BOOK
AU  - Luckhardt,Horst
TI  - Extensional Gödel functional interpretation: A consistency proof of classical analysis 
T2  - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
SN  - 0387061193 (New York)
PY  - 1973///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Proof theory
KW  - Intuitionistic mathematics
N1  - Bibliogr.: p. 157-161
ER  -