[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] S. N. Burris, Logic for Mathematics and Computer Science, Prentice-Hall, 1998.
[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] P. J. Cameron, Introduction to Algebra, Oxford University Press, 1998.
[5] J. Dugundji, Topology, Allyn and Bacon, 1966.
[6] H. B. Enderton, Elements of Set Theory, Academic Press, 1977.
[7] J. B. Fraleigh, A First Course in Abstract Algebra, 6th edition, Addison-Wesley, 1999.
[8] D. C. Goldrei, Classic Set Theory: a Guided Independent Study, Chapman & Hall/CRC, 1996.
[9] G. Grätzer, Universal Algebra, 2nd edition, Springer-Verlag, 1979.
[10] A. G. Hamilton, Logic for Mathematicians, 2nd edition, Cambridge University Press, 1988.
[11] W. Hodges, A Shorter Model Theory, Cambridge University Press, 1997.
[12] J. Kelley, General Topology, Van Nostrand, 1955.
[13] S. Maclane, Categories for the Working Mathematician, 2nd edition, Springer-Verlag, 1998.
[14] J. J. Rotman, An introduction to the theory of groups, 4th edition, Springer-Verlag, 1995.
[15] W. A. Sutherland, An Introduction to Metric and Topological Spaces, Oxford University Press, 1975.