Math 681 — Spring 2002 Mathematical Logic

Predicate Logic, Godel's completeness and incompleteness therems, axiomatic set theory and independence, yhe algebra of logic, boolean algebras and boolean spaces, elements of model theory and recursion theory, non-standard logics and their model theory.