A survey of symbolic logic - LEWIS, Clarence Irving, 1883- (Dover Books on Indermediate and Advanced Mathematics, 1960)