TY - BOOK AU - Lewis C I TI - Survey of symbolic logic U1 - R14, K0 (ER) PY - 1960/// CY - New York PB - Dover KW - PHILOSOPHY ER -