Title: Logic for Computer Science and Artificial Intelligence
Subjects: Artificial intelligence, Logic, symbolic and mathematical