Principles of intuitionism: lectures presented at the summer conference on Intuitism and Proof theory - Troelstra, A. S (Lectures Notes in Mathematics, 95, 1969)