2 books • 2 series
Computational Logic and Set Theory (Texts in Computer Science)
Set Theory for Computing (Monographs in Computer Science)