Introduction to symbolic logic. - Basson A H; O'Connor D J (London U T P, 1959)