Export Mendeley
＜Books＞
The language of first-order logic : including the Macintosh program Tarski's world / Jon Barwise and John Etchemendy
(CSLI lecture notes ; no. 23)
| Edition | 2nd ed., rev. and expanded |
|---|---|
| Publisher | Stanford, CA : Center for the Study of Language and Information |
| Year | c1991 |
| Codes | ID=2000432695 NCID=BA1437475X
|
Show details.
| Language | English |
|---|---|
| Size | xiv, 297 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.) |
| Notes | System requirements for computer disk (Tarski's world 3.0): Macintosh computer Computer disk in pocket Includes indexes |
| Authors | *Barwise, Jon Etchemendy, John, 1952- |
| Uniform title | Tarski's world (Computer program) |
| Subjects | LCSH:First-order logic LCSH:Tarski's world (Computer program) |
| Classification | LCC:BC128 DC20:160 |
| Vol | ISBN:0937073741 ; PRICE:$34.95 |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Cent.Lib.,Closed Stacks ,Books(European Lang.) |
|
160/B289 | 0570641038 |
|
0937073741 | 1991 |
|