Introduction To Logic by Mitchell David