TY  - BOOK
AU  - Nissanke,Nimal
TI  - Introductory logic and sets for computer scientists
SN  - 0201179571
U1  - 004.015113 
PY  - 1999///
CY  - Harlow, England
PB  - Addison Wesley Longman
KW  - Computer logic
KW  - Set theory
ER  -