Extensional Godel functional interpretation : a consistency proof of classical analysis. - Luckhardt, Horst (Springer, 1964)