Introductory logic and sets for computer scientists - Nissanke Nimal (Addison-Wesley, 1999)