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, Quine's 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
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, Quine's 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