Metamathematical investigation of intuitionistic arithmetic and analysis /

Bibliographic Details
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:

Similar Items