Classic undergraduate text sharpens students' grasp of the deductive method, including variables, sentential calculus, theory of identity, more. Exercises.
