Extensional Godel functional interpretation a consistency proof of classical analysis - Luckhardt Horst (Berlin Springer Verlag, 1972)
Keywords: Godel's theorem; Mathematical logic