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