Logic For Computer Science And Artificial Intelligence by Ricardo Caferra