| 000 | 01137nam a22002890004500 | ||
|---|---|---|---|
| 001 | 51054 | ||
| 010 |
_a0937073997 _bbrochado _dcompra |
||
| 100 | _a20040908d1993 k y0pory5003 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aUS | ||
| 200 | 1 |
_aThe language of first-order logic _eincluding the Macintosh version of Tarski's world 4.0 _fJon Barwise and John Etchemendy |
|
| 205 | _a3rd ed. rev. and expanded | ||
| 210 |
_aStanford, California _cCSLI, Center for the Study of Language and Information _d2004 |
||
| 215 |
_aXIV, 313, [9] p. _d24 cm _e1 disquete |
||
| 225 | 2 |
_aCSLI lecture notes _v23) |
|
| 300 | _aContém material acompanhante na cota DK 4 | ||
| 320 | _aContém referências bibliográficas e índice | ||
| 606 |
_934115 _aLógica de primeira ordem |
||
| 606 |
_aTarski's world (Programa de computador) _9250806 |
||
| 606 |
_932986 _aLinguagens de programação |
||
| 606 |
_934692 _aManuais |
||
| 675 |
_a519.68 _vBN _zpor |
||
| 700 | 1 |
_987030 _aBarwise, _bJon, _f1942-2000 |
|
| 701 | 1 |
_9122273 _aEtchemendy, _bJohn, _f1952- _4070 |
|
| 801 | 0 |
_aPT _bUNLCSH _gRPC |
|
| 090 | _a51054 | ||
| 942 |
_n0 _cMON |
||
| 999 |
_a47596 _c2021-07-08 _bUNL-FCSH - GLOBAL _dUNLFCSH2015040208332748954 |
||