MATH 5155 LOGIC
Truth functions, Post's theorem, sentence and predicate logic, decidability, completeness, recursive functions, formal arithmetic. Godel's theorem, applications to automata theory. An undergraduate course in logic or modern algebra, geometry or analysis.