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. Prerequisite: An undergraduate course in logic or modern algebra, geometry or analysis. Abeles, Deavours