Methods of Logic

This widely used textbook of modern formal logic now offers a number of new features. Incorporating 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 W. V. Quine's new edition will serve admirably for both classroom and independent use.