Book

A philosophical companion to first-order logic

by R. I. G. Hughes