Elementary Logic - Mates, Benson (Oxford University)