1. Foundations of Constructive Mathematics;Beeson,1985
2. Iterated Inductive Definitions and Subsystems of Analysis;Buchholz,1981
3. Uniform inseparability in explicit mathematics;Cantini;J. Symbolic Logic,1999
4. Set Theory;Drake,1974
5. A language and axioms for explicit mathematics;Feferman,1975