A broad introduction to Mathematical Logic. The notions of logical consequence and derivation are introduced in the settings of propositional and first order logic, with discussions of the completeness theorem and satisfiability. [Note: PMATH 432 may be substituted for PMATH 330 whenever the latter is a requirement in an Honours plan.] Prereq: (MATH 225/126 and CS 116/136/145) or MATH 235 or 245; Not open to Computer Science students. Antireq: CS 245, SE 212.
