TY  - BOOK
AU  - Quine, Willard Van Orman
TI  - Methods of logic
PY  - 1959///
CY  - New York
PB  - Hott Rinehart and winston      
KW  - Mathematics
KW  - Logical methods
N2  - his 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
ER  -