(1) The first-year course uses the first part of Jeffrey’s ‘Formal logic’ 4th ed. Alternatively, the students can use Howson’s ‘Logic with Trees’. The course includes trees for propositional and first-order classical logic, but does not include completeness results. There is no set-theory.

(2) The second-year course is joint formal logic and phil. of logic. The formal part goes through most of Graham Priest’s ‘Introduction to Non-Classical Logic’, but introduces natural deduction for the most central systems (the normal modal systems, intuitionistic propositional logic and first-order). Again, the course stops short of completeness results. The book has a short preliminary on set-theory.

(3) At Honours level there is usually a meta-logic course based on a selection of chapters from Boolos and Jeffrey’s ‘Computability and Logic’. I think the course goes through most standard meta-results for first-order classical logic, e.g., completeness, L-S theorems, compactness, etc. Other topics are sequent-calculus, recursivity, and Turing machines.

(4) Finally, there has sometimes been a M.Litt course (master level) on logic and algebra, based on compendium by Stephen Read. This year, however, the M.Litts get a course on Meta-logic, focusing on Hunter’s ‘Metalogic’.

Overall, I suspect that St Andrews is not among the worst UK universities, but my impression – although I haven’t been here that long – is that the courses are getting easier across the line.