TY - BOOK AU - CANTONE (D) TI - SET THEORY FOR COMPUTING U1 - 511.322 CAN PY - 2001/// PB - SPRINGER ER -