Quine's book is of first-rate quality, and presents the materials of modern formal logic in a masterly fashion...A superb text: authoritative, mature, and brilliant and original in its exposition. -- Ernest Nagel It is admirably precise and it is written with a deliciously light touch. -- Joseph S. Ullian For a treatment of such modest size, it abounds in exciting ideas, freshness of perspective on old logical and philosophical problems, and in lucid and exact analysis. -- R. J. Trayhern

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.