1
Computable set theory. vol 0001.
Book
...MDD - Axiomatic set theory...