TY  - BOOK
AU  - Frausto Solís, Juan
AU  - Sánchez Ante,Gildardo
TI  - Fundamentos de lógica computacional
SN  - 9682461006
AV  - QA76 F7 .F8 2000
PY  - 2000///
CY  - México
PB  - Trillas
KW  - Lógica computacional
KW  - Complejidad computacional
KW  - Lógica simbólica y matemática
N1  - Incluye índice
UR  - https://www.unpa.edu.mx/bibliotecas/images/portadas/Tablas%20de%20contenido/1280.pdf
ER  -