000 | 00512nam a22001817a 4500 | ||
---|---|---|---|
003 | CO-PaCUAN | ||
005 | 20211001220340.0 | ||
008 | 211001b xxu||||| |||| 00| 0 spa d | ||
020 | _a978-607-7854-33-3 | ||
040 |
_aCO-PaCUAN _bEspañol |
||
082 |
_a001 _bL222c |
||
100 | _aLuis de Ledesma | ||
245 |
_aLógica para la Computación: _bTeorías de primer orden, resolución y elementos de programación |
||
250 | _aPrimera | ||
260 |
_aMexico _bAlfaomega _c2010 |
||
300 | _a174 p. | ||
942 |
_2ddc _cLIB |
||
999 |
_c6908 _d6908 |