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.

Last modified:October 31, 2006