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