Extensional Gödel functional interpretation. A consistency proof of classical analysis. (English) Zbl 0262.02031
Lecture Notes in Mathematics. 306. Berlin-Heidelberg-New York: Springer-Verlag. VI, 161 p. DM 18.00; $ 5.80 (1973).
MSC:
03F99 | Proof theory and constructive mathematics |
03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |