Philosophy 110 - Introduction to Logic
Philosophy 310 - Intermediate Logic
Philosophy 382 - Philosophy of Science
Philosophy 511 - Modal Logic
Philosophy 513 - Mathematical Logic I
Philosophy 595s - Formal Semantics

Philosophy 595t - Set Theory