TY  - BOOK
AU  - Nimal Nissanke
TI  - Introductory logic and sets for computer scientists
U1  - 004.91 
ER  -