Logic for computer science and artificial intelligence - Caferra, Ricardo 1945- (ISTE Wiley, 2011)