Extensional Gödel functional interpretation
Subtitle: a consistency proof of classical analysis.
Series: Lecture notes in mathematics, 306; Lecture notes in mathematics (Springer-Verlag) ;; 306.
Publisher: Springer-Verlag
Published: 1973
Place of publication: Berlin; New York
Language: eng
Number of pages: 161
Subjects: Proof theory.; Intuitionistic mathematics.
Notes: Bibliography: p. 157-161.