Barwise, Jon The language of first-order logic : including the Mackintosh version of Tarski's world 4.0. (3rd ed.) - 3rd ed. - Stanford, Calif. : Center for the Study of Language and Information 1993 - xiv, 313 p. 24 cm. - CSLI lecture notes no. 23 . ISBN: 0937073997 Subjects--Topical Terms: Tarski's worldPHILOSOPHYLOGICFirst-order logic LC Class. No.: BC 128 Bar