Set Theory for Computer Science by Glynn Winskel
File Type :PDF Number of Pages :141
Description The aim is to introduce fundamental
concepts and techniques in set theory in preparation for its many applications
in computer science. Topics covered includes: Mathematical argument, Sets and
Logic, Relations and functions, Constructions on sets, Inductive definitions,
Wellfounded induction, Inductivelydefined classes and FraenkelMostowski
sets.
