TY - BOOK AU - Lewis,Clarence Irving AU - Langford, Cooper Harold [Joint] TI - Symbolic logic U1 - 511.3 23 PY - 1959/// CY - New York PB - Dover Publications KW - Logic, Symbolic and mathematical N1 - Includes indexes ER -