Title: A computational logic
Subjects: Automatic theorem proving, Logic, symbolic and mathematical