Principles of intuitionism - Troelstra, A. S. (Anne Sjerp), 1939-2019 (Berlin : Springer, 1969)