MATH A4400 Mathematical Logic

The propositional calculus, the sentential calculus, normal forms, first order theories, consistency, categoricity, decidability, Godel's incompleteness theorem, the Loewenheim-Skolem theorem.

Credits

4

Prerequisite

MATH 32300 and either MATH 34700 or MATH 44900.

Contact Hours

4 hr./wk.