The language of first-order logic :
Barwise, Jon
The language of first-order logic : including the Mackintosh program Tarski's world 4.0 / Jon Barwise & John Etchemendy - 3rd ed., rev. and expanded - Stanford, CA : Center for the Study of Language and Information, c1993 - xiv, 313 p. ; 24 cm. + 1 computer disk (3 1/2 in.) - CSLI lecture notes ; no. 23 . - CSLI lecture notes ; no. 23 .
0937073997 (pbk.) :
93000419
Tarski's world
First-order logic
BC128 / .B37 1993
160
The language of first-order logic : including the Mackintosh program Tarski's world 4.0 / Jon Barwise & John Etchemendy - 3rd ed., rev. and expanded - Stanford, CA : Center for the Study of Language and Information, c1993 - xiv, 313 p. ; 24 cm. + 1 computer disk (3 1/2 in.) - CSLI lecture notes ; no. 23 . - CSLI lecture notes ; no. 23 .
0937073997 (pbk.) :
93000419
Tarski's world
First-order logic
BC128 / .B37 1993
160