Elements of symbolic logic - Reichenbach, Hans (Macmillan, 1947)