A Philosophical Companion to First-Order Logic

This volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic.