| 000 | 01002cam a2200313ia 4500 | ||
|---|---|---|---|
| 999 |
_c9978 _d9978 |
||
| 001 | 27677189 | ||
| 003 | OCoLC | ||
| 005 | 20170402121833.0 | ||
| 008 | 930203s1993 cau 001 0 eng | ||
| 010 | _a93000419 | ||
| 020 | _a0937073997 (pbk.) : | ||
| 040 |
_aDLC _cDLC _dCIN |
||
| 050 | 0 | 0 |
_aBC128 _b.B37 1993 |
| 082 | 0 | 0 |
_a160 _220 |
| 100 | 1 | _aBarwise, Jon | |
| 245 | 1 | 4 |
_aThe language of first-order logic : _bincluding the Mackintosh program Tarski's world 4.0 / _cJon Barwise & John Etchemendy |
| 250 | _a3rd ed., rev. and expanded | ||
| 260 |
_aStanford, CA : _bCenter for the Study of Language and Information, _cc1993 |
||
| 263 | _a9309 | ||
| 300 |
_axiv, 313 p. ; _c24 cm. + _e1 computer disk (3 1/2 in.) |
||
| 490 | 1 |
_aCSLI lecture notes ; _vno. 23 |
|
| 630 | 0 | 0 | _aTarski's world |
| 650 | 0 | _aFirst-order logic | |
| 700 | 1 | 0 |
_aEtchemendy, John, _d1952- |
| 730 | 0 | 2 |
_aTarski's world. _f1993 |
| 830 | 0 |
_aCSLI lecture notes ; _vno. 23 |
|
| 942 |
_2ddc _cBK |
||