Extensional Gödel functional interpretation : A consistency proof of classical analysis - Luckhardt, Horst (Berlin New York : Springer-Verlag, 1973)
Bibliogr.: p. 157-161.
Keywords: Proof theory; Intuitionistic mathematics