Methods of Logic. Willard Van Orman Quine. Ref.491324

"This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercise, 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, Quine's [fourth] edition will serve admirably both for classroom and for independent use"--. Harvard University Press. UK. Año 1982.