Title: Elements of symbolic logic