Methods of Logic

Quine's widely used textbook of modern formal logic now offers a number of new features: updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate-functor logic and the affinities between higher set theory and the elementary logic of terms.