TY  - BOOK
AU  - Luckhardt, Horst
AU  - 
TI  - Extensional Godel functional intepretation: A consistency of proof of classical analysis
U1  - 517.5 
PY  - 1973///
CY  - Berlin
PB  - Springer-Verlag
KW  - classical analysis
KW  - godel function
KW  - Theory of functions
ER  -