Mendeley出力
The language of first-order logic : including the Macintosh version of Tarski''s world 4.0 / Jon Barwise & John Etchemendy
(CSLI lecture notes ; no. 23)
| データ種別 | 図書 |
|---|
書誌詳細を非表示
| 版 | 3rd ed., rev. and expanded |
|---|---|
| 出版者 | Stanford, CA : Center for the Study of Language and Information |
| 出版年 | c1993 |
| 大きさ | xiv, 313 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.) |
| 一般注記 | System requirements for computer disk (Tarski''s world4.0): Macintosh computer Computer disk in pocket Includes indexes |
| 著者標目 | *Barwise, Jon Etchemendy, John, 1952- |
| 統一書名標目 | Tarski''s world (Computer program) |
| 件 名 | LCSH:First-order logic LCSH:Tarski''s world (Computer program) |
| 分 類 | LCC:BC128 DC20:160 NDC8:116 |
| 書誌ID | B000167993 |
| 本文言語 | 英語 |
| ISBN | 0937073997 |
| NCID | BA21075930 |
目次／あらすじ