MATH 44400 Mathematical Logic
The propositional calculus, the sentential calculus, normal forms, first order theories, consistency, categoricity, decidability, Godel's incompleteness theorem, the Loewenheim-Skolem theorem.
Prerequisite
A grade of C or higher in
MATH 32300 or permission of the instructor.
Contact Hours
4 hr./wk.