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