Set Theory for Computing (2001)

by Domenico Cantone, Eugenio Omodeo, Alberto Policriti