Cornell Math - MATH 681, Spring 2004

MATH 681: Logic (Spring 2004)

Instructor: Barbara Csima

Meeting Time & Room

A first graduate course in logic at a rapid pace. Topics will include: Propositional logic, compactness and completeness. Goedelís incompleteness. Introductions to set theory, model theory, and recursion (computability) theory.