Book Discrete Mathematics Ii: Set Theory For Computer Science, Part Ia Comp. Sci. Lecture Notes 2012