The language of first-order logic - including the Macintosh version of Tarski's world 4.0
- Författare
- Jon Barwise
- (Jon Barwise & John Etchemendy.)
- Språk
- Engelska





Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Center for the Study of Language and Information | cop. 1993 | USA, Stanford, Calif | 313 sidor. | |
Center for the Study of Language and Information | c 1992 | USA, Stanford, CA | xiv, 319 sidor. 23 cm. 1 computer disk (3 1/2 in.) | |
Center for the Study of Language and Information | cop. 1991 | USA, Stanford, CA | 297 sidor. + 1 diskett | 0-937073-74-1 |
Center for the Study of Language and Information | cop. 1990 | USA, Stanford, Calif | xiii, 259 sidor. ill. 23 cm. 1 computer disk (3 1/2 in.) |