Introductory logic and sets for computer scientists - Nissanke, Nimal (International computer science series, 1999)