Title: Logic
Subjects: Artificial intelligence, Computer science, Symbolic and mathematical Logic, Logic, symbolic and mathematical