Lewis, Clarence Irving 1883-1964.
Symbolic logic /
Clarence Irving Lewis, Cooper Harold Langford 
. - 2nd edition 
. - New York : Dover Publications, Inc.,  1959 
. - 518 p.  tab., schem.  21 cm. 
 - (Dover books on intermadiate and advanced mathematics  ; S170 )