TY  - BOOK
AU  - Cantone, Domenico.
AU  - Omodeo, Eugenio.
AU  - Policriti, Alberto.
TI  - Set theory for computing: from decision procedures to declarative programming with sets
SN  - 0387951970 (alk. paper)
CY  - New York
KW  - Set theory
KW  - Computable functions
ER  -