Background references for related areas of mathematics

1. [1] S. Abramsky, D. M. Gabbay and T. S. E. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. I, Background: mathematical structures, Oxford University Press, 1992. [This includes accounts of basic universal algebra, category theory, topology and logic.]

2. [2] S. N. Burris, Logic for Mathematics and Computer Science, Prentice-Hall, 1998.

3. [3] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981. (Millennium edition may be freely downloaded from http://thoralf2.uwaterloo.ca.)

4. [4] P. J. Cameron, Introduction to Algebra, Oxford University Press, 1998.

5. [5] J. Dugundji, Topology, Allyn and Bacon, 1966.

6. [6] H. B. Enderton, Elements of Set Theory, Academic Press, 1977.

7. [7] J. B. Fraleigh, A First Course in Abstract Algebra, 6th edition, Addison-Wesley, 1999.

8. [8] D. C. Goldrei, Classic Set Theory: a Guided Independent Study, Chapman & Hall/CRC, 1996.

9. [9] G. Grätzer, Universal Algebra, 2nd edition, Springer-Verlag, 1979.

10. [10] A. G. Hamilton, Logic for Mathematicians, 2nd edition, Cambridge University Press, 1988.

11. [11] W. Hodges, A Shorter Model Theory, Cambridge University Press, 1997.

12. [12] J. Kelley, General Topology, Van Nostrand, 1955.

13. [13] S. Maclane, Categories for the Working Mathematician, 2nd edition, Springer-Verlag, 1998.

14. [14] J. J. Rotman, An introduction to the theory of groups, 4th edition, Springer-Verlag, 1995.

15. [15] W. A. Sutherland, An Introduction to Metric and Topological Spaces, Oxford University Press, 1975.