TY - BOOK AU - Farré Cierra,Rafael TI - Lógica para informáticos: Rafel Farré Cirera, [y otros cinco] SN - 9786077071655 AV - QA 76.9.M35 F37.2012 PY - 2012///, CY - México, D.F. PB - Alfaomega Grupo Editor, Marcombo, Ediciones Técnicas KW - Lógica simbólica y matemática N1 - "Área Computación, subárea Teoría de la computación"--Cubierta ER -