Principles of intuitionism - Troelstra, A. S. (Anne Sjerp) (Lecture notes in mathematics (Springer-Verlag), 1969)