The language of first-order logic
By: Jon Barwise and John Etchemendy.
Contributors: Etchemendy, John, 1952-
Series: CSLI lecture notes ;; no. 23
Publisher: Center for the Study of Language and Information
Published: 1990
Place of publication: Stanford, CA
Language: eng
Number of pages: 259
Subjects: Tarski's world; First-order logic
Notes: Includes indexes.
System requirements for computer disk (Tarski's world 3.0): Macintosh computer; 1-2 disk drives or hard disk.