Principles of intuitionism. - Troelstra A S (New York Springer Verlag, 1969)