Maths for computing & information technology / Frank Giannasi and Robert Low

Computing with logic: logic programming with prolog

Fuzzi sets and fuzzy logic : theory and applications

Sets, functions and logic: an introduction to abstract mathematics/Keith Devlin

Rough sets and current trends in computing : 8th international conference, RSCTC 2012, Chengdu, China, August 17-20, 2012 : proceedings