| 000 | 01555cmm a2200385 a 4500 | ||
|---|---|---|---|
| 001 | 5001151 | ||
| 003 | UDS | ||
| 005 | 20170206045410.0 | ||
| 008 | 950807s1993 cau b eng | ||
| 010 | _a 95790812 | ||
| 020 | _a1881526283, 9781881526285 | ||
| 040 |
_aDLC _cDLC _dUDS _bENG |
||
| 050 | 0 | 0 |
_aBC128 _bB11 |
| 100 | 1 | _aBarwise, Jon. | |
| 245 | 1 | 0 |
_aTarski's world _h[computer file] / _b[Jon Barwise & John Etchemendy]. |
| 250 | _aVersion 4.0 for MS Windows. | ||
| 256 | _aComputer program. | ||
| 260 |
_aStanford, CA : _bCSLI Publications, _cc1993. |
||
| 300 |
_a1 computer disk ; _c3 1/2 in. + _e1 manual (xviii, 122 p.). |
||
| 440 | 0 |
_aCSLI lecture notes ; _vno. 45 |
|
| 500 | _aTitle from disk label. | ||
| 500 | _aIssued also for NeXT and Macintosh computers. | ||
| 520 | _aA computer-based introduction to first-order logic, intended as a supplement to a logic text. | ||
| 538 | _aSystem requirements: IBM-compatible PC; DOS; Microsoft Windows 3.0 or greater; mouse recommended. | ||
| 600 | _2Logic | ||
| 650 | 0 |
_aFirst-order logic _xSoftware. |
|
| 700 | 1 |
_aEtchemendy, John, _d1952- |
|
| 753 |
_aIBM PC _cDOS |
||
| 856 | 4 | 1 |
_3Table of contents _uhttp://www.loc.gov/catdir/toc/cam023/95790812.html |
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/description/cam027/95790812.html |
| 856 | 4 | 2 |
_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy1001/95790812-b.html |
| 906 |
_a7 _bcbc _corignew _du _encip _f19 _gy-gencompf |
||
| 942 |
_2lcc _cBK |
||
| 999 |
_c6658 _d6658 |
||