TY  - DATA
AU  - Horst Luckhardt
TI  - Extensional Gödel Functional Interpretation
T2  - Lecture Notes in Mathematics
SN  - 9783540382836
PY  - 1973///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/BFb0060871
ER  -