COMPUTABLE SET THEORY - Cantone, Domenico; Omodeo, Eugenio (Oxford Clarendon Press)
Keywords: Set Theory