Principles of intuitionism : lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y. - Troelstra, Anne Sjerp 1939- (Springer, 1964)