TY - BOOK AU - Lewis C I TI - Survey of symbolic logic T2 - Dover books on advanced mathematics U1 - R14, K03 PY - 1960/// CY - NewYork PB - Dover Publications KW - PHILOSOPHY ER -