Title: Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics)
Subjects: Proof theory, Intuitionistic mathematics, Goedel's theorem, Mathematics, Mathematics, general