MATH 260AMathematical Logic I
Propositional calculus and first-order logic. Theorem proving, Model theory, soundness, completeness, and compactness, Herbrand’s theorem, Skolem-Lowenheim theorems, Craig interpolation.
Prerequisites
From the catalog: “graduate standing or consent of instructor.”
Courses that list MATH 260A as a prerequisite (1)
- MATH 260B Mathematical Logic II