The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 - Barwise, Jon. (CSLI lecture notes, 1993)