Title: Computational logic
Subjects: Computer logic, Logic, symbolic and mathematical