Author:
Bridges Douglas S.,Vîţă Luminita S.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Aczel, P., Rathjen, M.: Notes on Constructive Set Theory, Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences (2001)
2. Aczel, P., Rathjen, M.: Constructive Set Theory (in preparation)
3. Grundlehren der Math. Wissenschaften;E.A. Bishop,1985
4. Bridges, D.S., Ishihara, H.: Locating the range of an operator on a Hilbert space. Bull. London Math. Soc. 24, 599–605 (1992)
5. Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. London Math. Soc., Lecture Notes in Mathematics, vol. 97. Cambridge Univ. Press (1987)