Title: Logic for computer science
Subjects: Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical, MATHEMATICS / Logic