Title: Automation of Reasoning 2
Subjects: Artificial intelligence, Symbolic and mathematical Logic