Title: Elements of Symbolic Logic