Discrete Mathematics II: Set Theory for Computer Science, Part IA Comp. Sci. Lecture NotesGlynn Winskel2012PDF