Elementary logic. - Mates, Benson (Oxford University Press, 1965)