Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences - muu, Englanti, 1993