TY - BOOK AU - Lewis, Clarence Irving TI - Symbolic Logic U1 - N14 PY - 1959/// CY - New York PB - Dover Publications, Inc. N1 - includes index and biblioraphy ER -