Jon Barwise and John Etchemendy: The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition. (1993)books/daglib/00712869780937073995The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition.2Jon Barwise1John Etchemendy2I-XIV, 1-313CSLI lecture notes seriesCSLI lecture notes series231993CSLIprovenance information for RDF data of dblp record 'books/daglib/0071286'2019-07-18T17:10:46+0200