Introductory Logic and Sets for Computer Scientists - Nissanke,Nimal