| 000 | 00929nam0a22002773i 4500 | ||
|---|---|---|---|
| 001 | 6066 | ||
| 005 | 20210601123137.0 | ||
| 010 | _a0-937073-90-3 | ||
| 100 | _a19990205d1992 m u0pory50 | ||
| 200 | 1 |
_aThe language of first-order logic _eincluding the IBM-compatible windows version of Tarski's world 4.0 _fJon Barwise, John Etchemendy |
|
| 205 | _a3rd ed. | ||
| 210 |
_aStanford _cCenter for the Study of Language and information _d1992 |
||
| 215 |
_aXIV, 319 p. _cil. |
||
| 225 | 1 |
_aCLSI Lecture Notes _v34 |
|
| 606 |
_916781 _aLógica matemática |
||
| 606 |
_933316 _aLógica proposicional |
||
| 606 |
_933317 _aLógica dos predicados |
||
| 606 |
_933318 _aLógica de primeira ordem |
||
| 606 |
_933319 _aPrograma de computador |
||
| 606 |
_933320 _aTarski's world |
||
| 675 | _a510.6 | ||
| 700 | 1 |
_aBARWISE _bJon _9289 |
|
| 701 |
_933321 _aETCHEMENDY _bJohn |
||
| 852 |
_aISEL _bBiblioteca _gBAR. _j510.6 |
||
| 090 | _a6066 | ||
| 942 | _cMO | ||