Seminar in Logic 3 Credits, Max

3 Credits, Max 18 Credits

Advanced seminar in logic, covering topics in model theory and recursion theory, beyond level of PHI 5135, including a careful treatment of Godel's incompleteness theorems and a modest study of undecidability. S/U option available if student admitted to Ph.D. candidacy.