1. Anderson, A. R. and R. B. Marcus: 1974, The Logical Enterprise, Yale Univ. Press, New Haven.
2. Bishop, E.: 1967, Foundations of Constructive Analysis, McGraw-Hill, New York.
3. Bishop, E. and H. Cheng: 1972, Constructive Measure Theory, American Mathematical Society Memoirs 116, American Mathematical Society, Providence.
4. Dauben, J.: 1979, Georg Cantor, Harvard Univ. Press, Cambridge, Mass.
5. Fitch, F. B.: 1948, ?An Extension of Basic Logic?, The Journal of Symbolic Logic 13, 95?106.