Title: Elements of symbolic logic.