Principles of Intuitionism Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. - Troelstra, Anne S. 1939-2019 (Springer, 1969)
Keywords: Intuitionistische Logik; Intuitionismus; Intuitionistische Mathematik; Beweistheorie; Konferenzschrift -- 1968 -- Buffalo, N.Y.