Title: The Logic Book with Student Solutions Manual
Subjects: Problems, exercises, Symbolic and mathematical Logic, Predicate (Logic)