Philosophical Logic by John MacFarlane