Extensional Gödel functional interpretation : A consistency proof of classical analysis /
Luckhardt, Horst.
Extensional Gödel functional interpretation : A consistency proof of classical analysis / Horst Luckhardt. - Berlin ; New York : Springer-Verlag, 1973. - vi, 161 p. ; 26 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann Vol. 306 . - Lecture notes in mathematics (Springer-Verlag) ; 306. .
Bibliogr.: p. 157-161.
0387061193 (New York)
Proof theory
Intuitionistic mathematics
Extensional Gödel functional interpretation : A consistency proof of classical analysis / Horst Luckhardt. - Berlin ; New York : Springer-Verlag, 1973. - vi, 161 p. ; 26 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann Vol. 306 . - Lecture notes in mathematics (Springer-Verlag) ; 306. .
Bibliogr.: p. 157-161.
0387061193 (New York)
Proof theory
Intuitionistic mathematics