Skip to main content


Undergraduate Module Descriptor

PHL3014: Symbolic Logic

This module descriptor refers to the 2018/9 academic year.

Indicative Reading List

This reading list is indicative - i.e. it provides an idea of texts that may be useful to you on this module, but it is not considered to be a confirmed or compulsory reading list for this module.

Forbes, G. Modern Logic: A Text in Elementary Symbolic Logic. Oxford: Oxford University Press, 1994.

Smith, P. An Introduction to Formal Logic. Cambridge: Cambridge University Press, 2003.