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