Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, & second-order logic, as well as proof theory, computability theory, & model theory. It is suitable for first or refresher courses.