TY  - GEN
AU  - Luckhardt,Horst
TI  - Extensional Godel functional interpretation: a consistency proof of classical analysis
T2  - Lecture notes in mathematics, 306
SN  - 0387061193 
PY  - 1973///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Proof theory
KW  - Intuitionistic mathematics
N1  - Contine bibliografie
ER  -