Elements of formal semantics an introduction to logic for students of language - Martin, John P.