Title: A philosophical companion to first-order logic
Subjects: First-order logic