The language of first-order logic
Subtitle: including the Macintosh program Tarski's world
By: Jon Barwise and John Etchemendy.
Contributors: Etchemendy, John, 1952-
Edition: 2nd ed., rev. and expanded.
Series: CSLI lecture notes ;; no. 23
Publisher: Center for the Study of Language and Information
Published: 1991
Place of publication: Stanford, CA
Language: eng
Number of pages: 297
Subjects: Tarski's world; First-order logic
Other titles: Tarski's world. 1991.
Notes: System requirements for computer disk (Tarski's world 3.0): Macintosh computer.
Computer disk in pocket.
Includes indexes.