TY  - BOOK
AU  - Luckhardt Horst
TI  - Extensional godel functional interpretation
T2  - Lecture Notes in Mathematics:a collection of informal reports and seminars; 306
U1  - B3, L31 
PY  - 1973///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Analysis
ER  -