| 000 | 00705nam a2200229 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170539.0 | ||
| 008 | 230201m19851990xxu r 000 0 eng d | ||
| 020 | _a0201182602 (v.1) | ||
| 024 | 8 |
_aDIF-M640 _b645 _zDIF008381 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aManna, Zohar | |
| 245 | 1 | 0 | _aThe logical basis for computer programming |
| 260 |
_aReading : _b[S.n.], _cc1985-1990 |
||
| 300 |
_a2 v. ; _c23 cm. |
||
| 490 | 0 | _aAddison-Wesley series in computer science | |
| 500 | _aVolumen I: Deductive reasoning. Volumen II: Deductive systems | ||
| 650 | 4 | _aLÓGICA COMPUTACIONAL | |
| 650 | 4 | _aLÓGICA MATEMÁTICA | |
| 700 | 1 | _aWaldinger, Richard | |
| 942 | _cBK | ||
| 999 |
_c58149 _d58149 |
||