TY  - BOOK
AU  - Nissanke,Nimal
TI  - Introductory logic and sets for computer scientists
SN  - 0201179571 (pbk.)
AV  - QA76.9.L63 N57 1999
U1  - 004.015113 NIS 21
PY  - 1999///
CY  - Harlow, Eng., Reading, Mass.
PB  - Addison Wesley Longman
KW  - Computer logic
KW  - Set theory
N1  - Includes bibliographical references and index
ER  -