Undergraduate Module Descriptor
PHL3014: Symbolic Logic
This module descriptor refers to the 2023/4 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.