Title: The Logic Book
First published: 1980
Subjects: Logic, Symbolic and mathematical, Predicate (Logic), Symbolic and mathematical Logic, Logic, Philosophy