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 & new discussions of predicate-functor logic & the affinities between higher set theory & the elementary logic of terms Quines new edition will serve admirably both for classroom & for independent use. Preface Acknowledgments Introduction Truth functions General terms & quantifiers General theory of quantification Glimpses beyond Bibliography Index