The language of first-order logic including the Macintosh program Tarski's world 3.0 / Jon Barwise, John Etchemendy.
Material type: TextSeries: CSLI lecture notes ; no. 23Publication details: Menlo Park, Calif. : Center for the Study of Language and Information, c1991.Edition: 2nd ed., rev. and expandedDescription: xiv, 297p. illustrations ; 23 cmContent type:- text
- unmediated
- volume
- 0937073741
- BC128 B28 1991
Item type | Current library | Collection | Call number | Materials specified | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Ladislao N. Diwa Memorial Library Reserve Section | Non-fiction | RUS BC128 B28 1991 (Browse shelf(Opens below)) | Available | 26176 | 00012925 |
Donated by Ohio State University 26176