Logic by Joseph Devey