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