| 000 | 00820nam a2200205 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170307.0 | ||
| 008 | 230201s1992 xxu r 000 0 eng d | ||
| 020 | _a9760937073904 | ||
| 024 | 8 |
_aDIF-M3239 _b3342 _zDIF003145 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aBarwise, Jon | |
| 245 | 1 | 0 |
_aThe language of first-order logic : _bIncluding the IBM-compatible Windows version of Tarski's World 4.0 |
| 250 | _a3rd ed. rev. and expanded | ||
| 260 |
_aStanford : _b[S.n.], _c1992 |
||
| 300 | _axiv, 319 p. : il, 23 cm. | ||
| 505 | 0 | _a Preface -- Part 1Propositional logic -- Part 2 Quantifiers -- Part 3 Aplications of First-order Logic -- Part 4 Advanced topics -- General Index -- Tarski's World index -- Excersice files index | |
| 650 | 4 | _aTARSKI'S WORLD (PROGRAMA) | |
| 942 | _cBK | ||
| 999 |
_c52993 _d52993 |
||