| 000 | 00882nam a2200241zi 4500 | ||
|---|---|---|---|
| 005 | 20220303112407.0 | ||
| 008 | m19009999cip eng0 11 | ||
| 035 | _aMX001000614363 | ||
| 050 |
_aQA76 _bH339 |
||
| 245 | 0 | 0 |
_aHandbook of logic in computer science / _cEd. by s. abramsky, dov m. gabbay, and t.s.e. maibaum |
| 264 | 1 |
_aOxford : _bClarendon Press, _c1900-9999 |
|
| 300 | _avolúmenes | ||
| 505 | _aContenido: v. 1. background : mathematical structures -- v. 2. background, computational structures | ||
| 650 | _aComputadoras | ||
| 650 | _aLógica simbólica y matemática | ||
| 700 |
_aAbramsky, Samson, _d1953- , _eeditor |
||
| 700 | 1 |
_aGabbay, Dov M., _d1945- _eeditor |
|
| 700 |
_aMaibaum, Thomas S. E., _d1947- , _eeditor |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c1166 _d1166 |
||