An introduction to abstract mathematics - Bond, Robert J. (Brooks/Cole, 1999)