TY  - BOOK
AU  - Frausto Solis,Juan
AU  - Sánchez Ante,Gildardo
TI  - Fundamentos de lógica computacional
SN  - 9682461006
AV  - QA76.9.L63 F73 2000
PY  - 2000///
CY  - México
PB  - Trillas :IbITESM Universidad Virtual
KW  - Lógica matemática
KW  - lemb
KW  - Lógica simbólica
KW  - Procesamiento electrónico de datos
N1  - Incluye referencias bibliográficas (p. 105-108) e índice
ER  -