An introduction to logic - Cohen, Morris Raphael (Hackett Publishing Company, 1993)