Topics In Logic

Presentation of topics of interest to philosophers from among the following: computability, automata theory, Post systems, modal logic, model theory, set theory. Recommended: PHIL 33 or 103.