Introduction to Mathematical Logic

3 credits · Undergraduate credit

Modern mathematics involves logical relationships among mathematical concepts. This course studies the (formal) languages suitable for expressing mathematical ideas. The explicit goal of the course is the study of propositional and first-order logic; the implicit goal is an improved understanding of the logical structure of mathematics.