Introduction to symbolic logic - Basson, A.H. (Oxford University Press, 1998)