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 .