Principles of intuitionism /

Bibliographic Details

Main Author:	Troelstra, A. S. (Anne Sjerp)
Format:	Book
Language:	English
Published:	Berlin, Heidelberg, New York : Springer, 1969.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 95.
Subjects:	Intuition. Logic, Symbolic and mathematical.