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.