Schuster, Peter M. Real numbers as black boxes. (English) Zbl 1041.03049 N. Z. J. Math. 31, No. 2, 189-202 (2002). Reviewer: Serguei V. Solov’ev (Toulouse) MSC: 03F60 00A30 03A05 26E40 PDFBibTeX XMLCite \textit{P. M. Schuster}, N. Z. J. Math. 31, No. 2, 189--202 (2002; Zbl 1041.03049)
Fletcher, Peter Truth, proof and infinity. A theory of constructions and constructive reasoning. (English) Zbl 0927.03003 Synthese Library. 276. Dordrecht: Kluwer Academic Publishers. ix, 469 p. (1998). Reviewer: V.Ya.Kreinovich (El Paso) MSC: 03-02 03F50 00A30 03A05 PDFBibTeX XMLCite \textit{P. Fletcher}, Truth, proof and infinity. A theory of constructions and constructive reasoning. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0927.03003)
Kushner, B. A. Differentiability and uniform continuity of constructive functions. (English. Russian original) Zbl 0618.03031 Sov. Math., Dokl. 31, 433-435 (1985); translation from Dokl. Akad. Nauk SSSR 281, 1314-1316 (1985). MSC: 03F60 26A15 26A24 PDFBibTeX XMLCite \textit{B. A. Kushner}, Sov. Math., Dokl. 31, 433--435 (1985; Zbl 0618.03031); translation from Dokl. Akad. Nauk SSSR 281, 1314--1316 (1985)