Metamathematical investigation of intuitionistic arithmetic and analysis
By: [by] A. S. Troelstra (ed.).
Series: Lecture notes in mathematics, 344; Lecture notes in mathematics (Springer-Verlag) ;; 344.
Publisher: Springer
Published: 1973
Place of publication: Berlin; Heidelberg; New York
Language: eng
Number of pages: 486
Subjects: Intuitionistic mathematics.; Proof theory.; Model theory.
Notes: Bibliography: p. [462]-475.