TY - BOOK AU - Nissanke,Nimal TI - Introductory Logic and Sets for Computer Scientists SN - 0201179571 U1 - 004.01 NIS 22rd ER -