Math A4400: Mathematical Logic
The propositional calculus, the sentential calculus, normal forms, first order theories, consistency, categoricity, decidability, Godel's completeness theorem, the Loewenheim-Skolem theorem. HR./WK.; 4 CR.
The propositional calculus, the sentential calculus, normal forms, first order theories, consistency, categoricity, decidability, Godel's completeness theorem, the Loewenheim-Skolem theorem. HR./WK.; 4 CR.
