Cantone, Domenico: Set Theory for Computing