A Philosophical Companion To First-Order Logic by R.I.G. Hughes