Being just a student, I recommend the one and only
http://www.amazon.com/ElementsDiscr.../dp/0070381305
Trust me.
I feel very lucky to have been provided with this book by the University.
It contains introductory for most of the things I think you're interested in  set theory, boolean algebra, logic, induction etc.
My apologies for not mentioning any other title but almost all math books I read/use are in greek.
But there are tons of it. Grab some and go for it.
Quote:
P.S. In the case you wonder, I am a professional research mathematician

It would be extremely interesting to know your or ephemera's or anyone else's opinion about the relationship between mathematics and CS.
Thanks