Elementary logic - Mates, Benson 1919-2009 (Oxford Univ. Press, 1965)