An intermediate course in symbolic logic which reviews sentential logic, develops further the logic of quantification, and introduces metalogical issues such as the construction, consistency, and completeness of deductive systems.