Bridges, Douglas S. Reality and virtual reality in mathematics. (English) Zbl 1169.00306 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 78, 221-230 (2002). MSC: 00A30 03A05 PDFBibTeX XMLCite \textit{D. S. Bridges}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 78, 221--230 (2002; Zbl 1169.00306)
Bridges, Douglas S. Foundations of real and abstract analysis. (English) Zbl 0888.26001 Graduate Texts in Mathematics. 174. New York, NY: Springer. xiv, 322 p. (1998). Reviewer: O.Costinescu (Iaşi) MSC: 26-01 46-01 28-01 00A06 PDFBibTeX XMLCite \textit{D. S. Bridges}, Foundations of real and abstract analysis. New York, NY: Springer (1998; Zbl 0888.26001) Full Text: DOI
Bridges, Douglas S. (ed.); Calude, Cris S. (ed.); Dinneen, M. J. (ed.); Khoussainov, B. (ed.) Special issue on logic in computer science. (English) Zbl 0949.00013 J. UCS 3, No. 11, 1134-1281 (electronic) (1997). MSC: 00B15 68-06 03-06 PDFBibTeX XMLCite \textit{D. S. Bridges} (ed.) et al., J. UCS 3, No. 11, 1134--1281 (electronic) (1997; Zbl 0949.00013)
Bridges, D. S. (ed.); Calude, C. S. (ed.); Gibbons, J. (ed.); Witten, I. H. (ed.); Reeves, S. (ed.) Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS ’96, Auckland, New Zealand, December 9–13, 1996. (English) Zbl 0892.00029 Berlin: Springer. viii, 422 p. (1997). MSC: 00B25 05-06 68-06 03-06 PDFBibTeX XMLCite \textit{D. S. Bridges} (ed.) et al., Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS '96, Auckland, New Zealand, December 9--13, 1996. Berlin: Springer (1997; Zbl 0892.00029)