Maarten H. van Emden Set-Theoretic Preliminaries for Computer Scientists http://arxiv.org/abs/cs/0607039 2006 CoRR abs/cs/0607039 db/journals/corr/corr0607.html#abs-cs-0607039