An introduction to formal logic Smith, Peter. 2017. An introduction to formal logic. Cambridge, United Kingdom: Cambridge University Press.