Metamathematical investigation of intuitionistic arithmetic and analysis /

• Other Authors: Troelstra, A. S. (Anne Sjerp) (επιμελητής.)
• Format: Book
• Language: English
• Published: Berlin ; Heidelberg ; New York : Springer, 1973.
• Series: Lecture notes in mathematics (Springer-Verlag) 344.
• Subjects: Λογική, Συμβολική και μαθηματική