Extensional Gödel functional interpretation : a consistency proof of classical analysis /

• Κύριος συγγραφέας: Luckhardt, Horst (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; New York : Springer-Verlag, 1973.
• Σειρά: Lecture notes in mathematics (Springer-Verlag) 306.
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: vi, 161 σ. ; 26 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφία.
• ISBN: 0387061193; 3540061193