Symbolic logic - Lewis, Clarence Irving n. 1883 (Dover, 1959)