1. Bishop, E., Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
2. Boolos, G., ‘Nominalist Platonism’, Philosophical Review, 94 (1985), 327–44.
3. Bridges, D. S., Constructive Functional Analysis, Pitman, London, 1979.
4. Burgess, J., Hazen, A., and Lewis, D., Appendix on Pairing,in [17].
5. Chihara, C., Ontology and the Vicious Circle Principle, Cornell University Press, Ithaca, NY, 1973.