Putting on my Computer Scientist hat (and getting all of the tentacles out of my face so I can see), GIAM seems to be a good, if a little verbose[1], introduction to formal logic and basic set theory. Those are fundamental to CS and this is a heck of a lot better than many of the intros to those topics that I have seen in curricula without a dedicated class.
