The language of first-order logic
Subtitle: including the IBM-compatible Windows 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. 34
Publisher: Center for the Study of Language and Information
Published: 1992
Place of publication: Stanford, CA
Language: eng
Number of pages: 319
Subjects: Tarski's world; First-order logic
Other titles: Tarski's world. 1992.
Notes: System requirements for computer disk (Tarski's world 4.0): IBM PC; Microsoft Windows.
Includes indexes.