Instead of a textbook, we will mostly use Halvorson's notes — see "Course notes" below. But it is also recommended that you obtain a copy of Boolos, Burgess, and Jeffrey, Computability and Logic.

This course is compulsory on the BSc in Philosophy and Economics. This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, ...