The language of first-order logic : including the Macintosh program Tarski's world /
Barwise, Jon.
The language of first-order logic : including the Macintosh program Tarski's world / Jon Barwise and John Etchemendy. - 2nd ed., rev. and expanded. - Stanford, CA : Center for the Study of Language and Information, c1991. - xiv, 297 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.) - CSLI lecture notes ; no. 23 .
System requirements for computer disk (Tarski's world 3.0): Macintosh computer. Computer disk in pocket. Includes indexes.
0937073741 : $34.95 9780937073742 : $34.95
91036151
Tarski's world.
First-order logic.
Mathematical foundations
160
The language of first-order logic : including the Macintosh program Tarski's world / Jon Barwise and John Etchemendy. - 2nd ed., rev. and expanded. - Stanford, CA : Center for the Study of Language and Information, c1991. - xiv, 297 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.) - CSLI lecture notes ; no. 23 .
System requirements for computer disk (Tarski's world 3.0): Macintosh computer. Computer disk in pocket. Includes indexes.
0937073741 : $34.95 9780937073742 : $34.95
91036151
Tarski's world.
First-order logic.
Mathematical foundations
160