Propositional logic. Predicate logic: notion of a first order language, a deductive system for first order logic, first order structures, Godel's completeness theorem, axiom systems, models of formal theories.
prereq: one soph math course or instr consent
Gopher Grades is maintained by Social Coding with data from Summer 2017 to Summer 2025 provided by the University in response to a public records request