MATH 635 - Mathematical Logic

Units: 4
First order languages, a Sequent Calculus, rules for formal proofs, The Completeness Theorem, Compactness, Godel’s Incompleteness Theorems. Selected topics from model theory, set theory, metamathematics.

Prerequisites: MATH 300.
Possible Instructional Methods: Entirely On-ground.
Grading: A-F grading only.