Set Theory For Computing by Alberto Policriti & Eugenio Omodeo