Author:
Bishop Errett,Bridges Douglas
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Aberth, O.: Computable Analysis. New York: McGraw-Hill 1980.
2. Beeson, M.: Problematic Principles in Constructive Mathematics. In: Logic Colloquium ’80, pp. 11–55. Amsterdam: North-Holland 1982.
3. Beeson, M.: Foundations of Constructive Mathematics. Berlin-Heidelberg-New York: Springer 1985
4. Belinfante, M.J.: Elemente der intuitionistischen Funktionentheorie. Proc. Akad. Amsterdam 44, 173–185, 276–285, 420–425, 563–567, 711– 717 (1941).
5. Berg, G., Julian, W., Mines, R., Richman, F.: The Constructive Jordan Curve Theorem. Rocky Mountain J. Math. 5, 225– 236 (1975).