Extensional Godel functional intepretation: A consistency of proof of classical analysis - Luckhardt, Horst (Springer-Verlag, 1973)