TY  - BOOK
AU  - CANTONE D. & OMODEO E. & POLICRITI A.
TI  - SET THEORY FOR COMPUTING : FROM DECISION PROCEDURES TO DECLARATIVE PROGRAMMING WITH SETS
SN  - 0000387951970
U1  - 004.0151 
PB  - NEW YORK : SPRINGER
KW  - SET THEORY : COMPUTABLE FUNCTIONS : COMPUTER MATHEMATICS
ER  -