Keith Devlin - Mathematics - 1994 - 194 pages
This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of "na´ve" set theory, it develops the Zermelo-Fraenkel axioms ...
Leonid Libkin - Mathematics - 2004 - 318 pages
Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.