From Symbolic Logic...to Mathematical Logic

Mathematical preliminaries; syntax of sentential logic; short-cut rules of sentential logic; semantics of sentential logic; connecting the syntax and semantics of sentential logic; the syntax of first-order predicate logic; the semantics of first-order predicate logic; connections syntax and semantics for first-order predicate logic; first-order theories; the theory of arithmetic; models for first-order theories; Godel's theorems.