Notes on set theory - Moschovakis, Yiannis N (1994)