The language of first-order logic
Subtitle: including the Mackintosh version of Tarski's world 4.0
By: Jon Barwise & John Etchemendy.
Contributors: Etchemendy, John, 1952-
Edition: 3rd ed., rev. & expanded.
Series: CSLI lecture notes ;; no. 23
Publisher: Center for the Study of Language and Information
Published: 1993
Place of publication: Stanford, Calif
Language: eng
Number of pages: 313
Subjects: Tarski's world; First-order logic
Other titles: Tarski's world. 1993.
Notes: Includes indexes.