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