(cross-listed with MTH 480) . An advanced course in logic, covering propositional and predicate logic, Gödel’s completeness theorem, and introducing recursion theory. For a current course description and information about prerequisites, consult the Mathematics Department catalogue.