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