Extensional Gödel functional interpretation : a consistency proof of classical analysis - Luckhardt, Horst (Springer-Verlag, 1973)