No CrossRef data available.
Article contents
Jon Barwise and John Etchemendy. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii + 259 pp. + disk. - Jon Barwise and John Etchemendy. The language of first-order logic, including the Macintosh program Tarski's world. Second edition of the preceding. CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1992 (© 1991), also distributed by the University of Chicago Press, Chicago, xiv + 297 pp. + disk.
Published online by Cambridge University Press: 12 March 2014
Abstract
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200021915/resource/name/firstPage-S0022481200021915a.jpg)
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1993