| 000 | 01190Cam#a2200313#a#4500 | ||
|---|---|---|---|
| 999 |
_c19960 _d95347 |
||
| 001 | 020261 | ||
| 003 | AR-BeUNQ | ||
| 005 | 20171117091542.0 | ||
| 008 | 080902s1988||||enkd f#b #001|0#eng#d | ||
| 020 | _a0521368650 | ||
| 040 | _aAR-BeUNQ | ||
| 082 | 0 | 4 |
_a511.3 _221 |
| 100 | 1 |
_aHamilton, A G _d1943- |
|
| 245 | 0 | 2 |
_aLogic for mathematicians / _cA. G. Hamilton. |
| 250 | _aRev. edition. | ||
| 260 |
_aCambridge : _bCambridge University Press, _c1988. |
||
| 300 |
_aviii, 228 p. : _bgráficos ; _c23 cm. |
||
| 500 | _aGlosario de símbolos: p.220-223. | ||
| 504 | _aIncluye referencias (p.219) e índice (p. 224-228). | ||
| 594 |
_aTECNICATURA EN PROGRAMACION INFORMATICA _aLICENCIATURA EN INFORMATICA |
||
| 595 |
_aELEMENTOS DE PROGRAMACION Y LOGICA _d2016 |
||
| 650 | 7 |
_aLógica matemática _2spines |
|
| 650 | 7 |
_aTeoría lógica _2spines |
|
| 650 | 7 |
_aCálculo de predicados _2spines |
|
| 650 | 7 |
_aCálculo de proposiciones _2spines |
|
| 650 | 7 |
_aCálculo de relaciones _2spines |
|
| 650 | 7 |
_aAlgoritmos _2spines |
|
| 929 |
_aCOMPRA _bIntelecnia _cExp. 827-0266/08 1a. compra _d207,40 _e20080826 _fPAT0025045 _j42444 |
||
| 929 |
_aCOMPRA _bIntelecnia _cExp. 827-0266/08 1a. compra _d207,40 _e20080826 _fPAT0025046 _j42445 |
||
| 929 |
_aCOMPRA _bIntelecnia _cExp. 827-0266/08 1a. compra _d207,40 _e20080826 _fPAT0025047 _j42446 |
||
| 942 |
_cLIB _n0 |
||