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
Language: eng
Number of pages: 319
Subjects: Tarski's world (Computer program); First-order logic.
Other titles: Tarski's world (Computer program). 1992.
Notes: System requirements for computer disk (Tarski's world 4.0), IBM PC Microsoft Windows.

Includes indexes.