Symbolic logic - Lewis, Clarence Irving, 1883-; Langford, Cooper Harold, 1895- (Dover Publications, 1959)