Tarski's world 3.0
Subtitle: including the Macintosh program
By: Jon Barwise and John Etchemendy.
Contributors: Etchemendy, John, 1952-
Series: CSLI lecture notes ;; no. 25
Publisher: Center for the Study of Language and Information
Published: 1991
Place of publication: Stanford, CA
Language: eng
Number of pages: 111
Subjects: Tarski's world.; First-order logic.
Notes: System requirements for computer disk: Macintosh.
Includes index.