A philosophical companion to first-order logic
R. I. G. Hughes · Hackett Pub. Co. eBooks · 1993
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.