MATH 3260: Introduction to Mathematical Logic
Description: Formalization of mathematical theories, elementary model theory with applications to algebra, number theory, and non-standard analysis. Additional topics: Elementary recursion theory and axiomatic set theory. Emphasis on the applications of logic to mathematics rather than the philosophical foundations of logic.
Prerequisites: A grade of C or better in MATH 2142 or 2710. PHIL 2211 is recommended.
Offered: Spring (odd years)
Sections: Spring 2018 on Storrs Campus