Title: Symbolic logic and mechanical theorem proving
Subjects: Artificial intelligence, Automatic theorem proving, Symbolic and mathematical Logic