Set Theory For Computing door Alberto Policriti & Eugenio Omodeo