| 000 | 00921nam a2200289 4500 | ||
|---|---|---|---|
| 001 | 30382 | ||
| 010 |
_a0-937073-90-3 _bbrochado _dEsc 12 075$ |
||
| 090 | _a30382 | ||
| 100 | _a20001127d1992 k||y0pory50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aUS | ||
| 200 | 1 |
_aThe language of first-order logic _eincluding the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers _fJon Barwise, John Etchemendy |
|
| 205 |
_a3rd ed _brevised and expanded |
||
| 210 |
_aStanford, US _cCSLI _dcop. 1992 |
||
| 215 |
_aXIV, 319 p. _d24 cm _e1 disquete |
||
| 225 | 2 |
_aCSLI lecture notes _v34 |
|
| 310 | _aAdquirido DI | ||
| 606 | _aLógica de primeira ordem | ||
| 606 | _aTarski's world (Programas de computador) | ||
| 680 | _aBC128 | ||
| 700 |
_aBarwise _bJon |
||
| 701 |
_954505 _aEtchemendy _bJohn _4070 |
||
| 801 | 0 |
_gRPC _aPT |
|
| 942 |
_2lcc _cA _n0 |
||