An introduction to logic - Cohen, Morris R. 1880-1947; Nagel, Ernest 1901-1985 (Hackett, 1993)