Mathematical investigation of intuitionistic arithmetic and analysis
By: [by] A. S. Troelstra
Series: Lecture notes in mathematics -- 344; Lecture notes in mathematics (Springer-Verlag) -- 344
Publisher: Springer
Published: 1973
Place of publication: Berlin
Language: eng
Number of pages: 485
Subjects: Symbolic and mathematical Logic; Mathematics; Methodology
Notes: Bibliography: p.[462]-475.