The HarperCollins Dictionary of Mathematics
E.J. Borowski is a Senior Lecturer in logic at Glasgow University.