Introduction to symbolic logic - Basson, A.H. (OUP, 2002)