The language of first-order logic : including the Macintosh program Tarski's world / Jon Barwise and John Etchemendy.
Material type: TextSeries: CSLI lecture notes ; no. 23Publication details: Stanford, CA : Center for the Study of Language and Information, c1991.Edition: 2nd ed., rev. and expandedDescription: xiv, 297 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.)ISBN:- 0937073741 :
- 9780937073742 :
- 160
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library Store - Ask Library Staff | 160 (Browse shelf(Opens below)) | 1 | Available | 25148 |
System requirements for computer disk (Tarski's world 3.0): Macintosh computer.
Computer disk in pocket.
Includes indexes.
25.93