Extensional Gödel functional interpretation
Subtitle: a consistency proof of classical analysis.
Series: Lecture notes in mathematics -- 306; Lecture notes in mathematics (Berlin) -- 306.
Publisher: Springer-Verlag
Published: 1973
Place of publication: Berlin
Language: eng
Number of pages: 166