Introductory logic and sets for computer scientists - Nissanke, Nimal (Pearson Education, 1999)