000 01166nam a22003255i 4500
005 20220629102548.0
006 m u
007 cr cn
008 121010s2012 xxk s 000 0 eng d
020 _a9781447141297 (libro electrónico)
035 _aMX001001578795
039 _aDIG
040 _aUNAMX
_bspa
_cUNAMX
090 _aQA8.9-QA10.3
100 1 _aBen-Ari, M.,
_d1948-
_eautor
245 1 0 _aMathematical logic for computer science /
_cMordechai Ben-Ari
250 _aThird edition
260 _aLondon :
_bSpringer,
_c2012
300 _a1 recurso en línea (346 páginas)
506 _aAcceso sólo para usuarios de REDUNAM
533 _aReproducción electrónica.
_bNew York :
_cSpringer,
_d2012
650 4 _aLógica simbólica y matemática
655 7 _aLibros electrónicos.
_2local
720 2 _aSpringerLink (Servicio en línea)
787 0 8 _nParte del paquete digital:
_aComputer Science (Springer-11645)
856 4 _uhttp://dx.doi.org/10.1007/978-1-4471-4129-7
_yTexto completo
336 _atexto
_2rdacontent
337 _acomputadora
_2rdamedia
999 _c11190
_d11190