An advanced introduction to selected topics in modern logic. Familiarity with the basics of propositional logic and quantification theory is recommended. Further details on topics selected for the current year are available on the Department of Philosophy's website.
