Metamathematical investigation of intuitionistic arithmetic and analysis /

• Άλλοι συγγραφείς: Troelstra, A. S. (Anne Sjerp) (επιμελητής.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; Heidelberg ; New York : Springer, 1973.
• Σειρά: Lecture notes in mathematics (Springer-Verlag) 344.
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xvii, 486 σ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφία.
• ISBN: 0387064915; 3540064915