Elementary logic - Mates, Benson (London Oxford University Press, 1972)