Essentials of symbolic logic. - Simpson R L (London Routledge, 1988)