TY - BOOK AU - Lewis,Clarence Irving AU - Langford,Cooper Harold TI - Symbolic logic SN - 0486601706 (pbk) : U1 - 164 PY - 1959/// CY - New York PB - Dover Publications KW - Logic, Symbolic and mathematical N1 - Includes index ER -