TY - BOOK AU - Luckhardt Horst TI - Extensional Godel functional interpretation: a consistency proof of classical analysis U1 - 511.3 PY - 1972/// CY - Berlin PB - Springer Verlag KW - Godel's theorem KW - Mathematical logic ER -