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  - 0387951970
AV  - QA248  .C36 2001
PY  - 2001///
CY  - New York
PB  - Springer
KW  - Set theory
KW  - Computable functions
ER  -