4 books • 3 series
An Introduction to the Technique of Formative Processes in Set Theory
Computational Logic and Set Theory (Texts in Computer Science)
Set Theory for Computing (Monographs in Computer Science)
Computable Set Theory (International Series of Monographs on Computer Science, #6)