2022-2023 Graduate Bulletin > Courses > MATH - Mathematics Course Descriptions > A0000 > MATH A4400
The propositional calculus, the sentential calculus, normal forms, first order theories, consistency, categoricity, decidability, Godel's incompleteness theorem, the Loewenheim-Skolem theorem.