1. Foundations of Constructive Mathematics;Beeson,1985
2. Foundations of Constructive Analysis;Bishop,1967
3. Constructive Analysis;Bishop,1985
4. Constructive mathematics, its set theory and practice;Bridges,1975
5. Constructive mathematics and unbounded operators — a reply to Hellman;Bridges;J. Philos. Logic,1995