Title: Logic for computer science and artificial intelligence
Subjects: Computer logic, Artificial intelligence