Computable set theory.
Cantone, Domenico.
Ferro, Alfredo.
Omodeo, Eugenio.
Oxford : Clarendon,
1989.