A Dictionary of Philosophical Logic by Roy T. Cook