Principles of intuitionism / - Troelstra, A. S. (Springer, 1969)