Philosophical Companion to First-Order Logic

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.