TY - BOOK AU - Nimal Nissanke TI - Introductory logic and sets for computer scientists SN - 9780201179576 U1 - 004.91 PY - 1999/// CY - Edinburgh Gate PB - Pearson Education ER -