TY - BOOK AU - Quine,W.V. TI - Mathematical logic U1 - 164 PY - 1951/// [1962] CY - Cambridge PB - Harvard University Press KW - Logic, Symbolic and mathematical N1 - Include bibliography and index ER -