| 000 | 00842nam a22002417a 4500 | ||
|---|---|---|---|
| 999 |
_c32611 _d32611 |
||
| 005 | 20200206114945.0 | ||
| 008 | 120813t nyu||||| |||| 00| 0 eng d | ||
| 020 | _a0824777468 | ||
| 050 | 0 | 4 |
_aQA9.2 _bM38 1987 |
| 245 | 1 | 0 |
_aMathematical logic and theoretical computer science _c/ Edited by David W. Kueker, Edgar Lopez-Escobar, Carl H. Smith. |
| 250 | _a1a ed. | ||
| 260 |
_aNew York : _bMarcel Dekker, inc. _c1987 |
||
| 300 |
_axviii, 383 p. : _bìl.; _c25 cm. |
||
| 490 | 0 |
_a(Lecture notes in pure and applied mathematics ; ) _vV. 106 |
|
| 500 | _aIncluye ìndice | ||
| 650 | 7 |
_2Lemb _aLógica simbólica y matemática |
|
| 650 | 7 |
_2Lemb _aProcesamiento de palabras |
|
| 650 | 7 |
_2lemb _aÁlgebra |
|
| 650 | 7 |
_2Lemb _aProcesamiento de palabras |
|
| 650 | 7 |
_2Lemb _aAlgebra |
|
| 700 | 1 |
_aKueker, David W., _eed. |
|
| 700 | 1 |
_aLópez-Escobar, Edgar G.k., _eed. |
|
| 942 |
_2ddc _cLIB |
||