Mathematical investigation of instuitionistic arithmetic and analysis. - Troelstra A S (New York Springer-Verlag, 1973)