Modern Logic: a text in elementary symbolic logic - Graeme Forbes (Oxford University Press, 1994)