TY  - BOOK
AU  - Quine, Willard Van Orman 
TI  - Methods of logic 
PY  - 1959///
CY  - New York: 
PB  - Holt, Rinethart and Winston, 
KW  - Logic methods
KW  - Uniform quantification
ER  -