REFERENCES
- Barnes , Wilfred E. 1963 . Introduction to Abstract Algebra Boston , Mass. : D.C. Heath & Co. .
- Bishop , Errett . 1967 . Foundations of Constructive Analysis New York : McGraw-Hill .
- Bishop , Errett and Bridges , Douglas . 1985 . “ Grundlehren der math. Wissenschaften 279 ” . In Constructive Analysis Heidelberg : Springer-Verlag .
- Bridges , Douglas . 1994 . “ A Constructive Look at the Real Number Line ” . In Special Issue of Synthèse on Real Numbers, Generalizations of the Reals, and Theories of Continua Edited by: Ehrlich , P. 29 – 92 . Amsterdam : Kluwer Academic Publishers .
- Bridges , Douglas . 2000 . Constructive Methods in Banach Algebra Theory . Math. Japonica , 52 ( 1 ) : 145 – 161 .
- Bridges , Douglas . 2000 . Converses of Bishop's Lemma on Located Sets . Indag. Math. , 11 ( 1 ) : 31 – 38 .
- Bridges , Douglas . 1999 . Constructive Mathematics: A Foundation for Computable Analysis . Theoretical Computer Science , 219 ( 1–2 ) : 95 – 109 .
- Bridges , Douglas and Richman , Fred . 1987 . “ London Math. Soc. Lecture Notes 97 ” . In Varieties of Constructive Mathematics Cambridge Univ. Press .
- Bridges , Douglas , Richman , Fred and Schuster , Peter . 2000 . A Weak Countable Choice Principle . Proc. Amer. Math. Soc. , 128 ( 9 ) : 2749 – 2752 .
- Dummett , Michael . 2000 . “ Elements of Intuitionism ” . In Oxford Logic Guides , 2nd Ed. Oxford : Clarendon Press .
- Goodman , N. D. and Myhill , J. 1978 . Choice Implies Excluded Middle . Zeit. Math. Logik und Grundlagen der Math. , 24 : 461
- Kushner , B. A. 1985 . “ Lectures on Constructive Mathematical Analysis ” . In Translations of Mathematical Monographs 60 Providence , RI : Amer. Math. Soc. .
- Mines , Ray , Richman , Fred and Ruitenburg , Wim . 1988 . A Course in Constructive Algebra, Universitext Heidelberg : Springer-Verlag .
- Richman , Fred . 1990 . Intuitionism as Generalization . Philosophia Math. , 5 : 124 – 128 .
- Ruitenburg , W. B.G. 1982 . Intuitionistic Algebra: Theory and Sheaf Models Rijksuniversiteit Utrecht : Proeftchrift .
- Troelstra , A. S. and van Dalen , D. 1988 . Constructivism in Mathematics: An Introduction , (two volumes) Amsterdam : North Holland .
- Weihrauch , Klaus . 1987 . Computability Heidelberg : Springer-Verlag .
- Weihrauch , Klaus . A Foundation for Computable Analysis . Combinatorics, Complexity, & Logic (Proceedings of Conference in Auckland . December 9–13 1996 . Edited by: Bridges , D. S. , Calude , C. S. , Gibbons , J. , Reeves , S. and Witten , I. H. Singapore : Springer-Verlag .