A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

af Shawn (Department of Mathematics Hedman

Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.