| 000 | 00874nam a2200253 a 4500 | ||
|---|---|---|---|
| 008 | 050829s2004^^^^enka^^^^^^^^^^001^0^spa^d | ||
| 020 |
_a052154310X _qrústica |
||
| 020 |
_a9780521543101 _qrústica _q2020 |
||
| 035 | _aMX001001037716 | ||
| 040 |
_aUNAMX _bspa _erda _cUNAMX |
||
| 050 | 4 |
_aQA76.9L63 _bH87 2004 |
|
| 100 | 1 |
_aHuth, Michael, _d1962- _eautor |
|
| 245 | 1 | 0 |
_aLogic in computer science : _bmodelling and reasoning about systems / _cMichael Huth, Mark Ryan |
| 250 | _a2nd ed. | ||
| 264 | 1 |
_aCambridge : _bCambridge University Press, _c2004 |
|
| 300 |
_axiv, 427 páginas : _bilustraciones |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 500 | _aReimpresiones: (20th, 2020) | ||
| 650 | 4 | _aLógica computacional | |
| 650 | 4 | _aProgramación lógica | |
| 700 | 1 |
_aRyan, Mark, _d1962- , _eautor |
|
| 999 |
_c4842 _d4842 |
||