Extensional Godel functional interpretation : a consistency proof of classical analysis. - Luckhardt, Horst (Springer, 1964)
En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 306