MATH 681: Logic (Spring 2007)
Instructor: Anil Nerode
Meeting Time & Room
The course will be based on Peter Hinman's new book on propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems with introductions to set theory, model theory and recursion theory.