1. Foundations of Constructive Analysis. McGraw-Hill, New York 1967.
2. An interpretation of intuitionistic analysis
3. Mathematical Intuitionism: Introduction to Proof Theory. Amer. Math. Soc., Providence, N. J., 1987.
4. Elements of Intuitionism. Clarendon Press, Oxford 1977.