TY  - BOOK
AU  - Cantone, Domenico
AU  - Omodeo, Eugenio
AU  - Policriti, Alberto
TI  - Set theory for computing : from decision procedures to declarative programming with sets
T2  - Monographs in computer science
SN  - 387951970
CY  - New York
KW  - Computational functions
KW  - Set theory
N1  - Includes bibliographical references and index
ER  -