Seminar in Logic

Undergraduate

A study of selected topics in logic, such as model theory, set theory, recursive function theory, or undecidability and incompleteness. Offered in alternate years.