TY  - BOOK
AU  - Nissanke,Nimal
TI  - Introductory logic and sets for computer scientists
T2  - International computer science series
SN  - 0201179571 (rustica)
AV  - QA76.9L63 N57
U1  - 004/.01/5113 21
PY  - 1999///
CY  - Harlow, England, México City
PB  - Addison Wesley Longman
KW  - Lógica computacional
KW  - Teoría de conjuntos
ER  -