TY - BOOK AU - Quine, Willard Van Orman TI - Mathematical Logic U1 - 511.3 PY - 1940/// CY - London PB - Harvard university preess KW - Maths ER -