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

• Main Author: Luckhardt, Horst (συγγραφέας.)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer-Verlag, 1973.
• Series: Lecture notes in mathematics (Springer-Verlag) 306.
• Subjects: Λογική, Συμβολική και μαθηματική