Resumen de Lógica, Matemática, Deducción Automática
Presentamos una breve perspectiva histórica del desarrollo en paralelo y, a veces, entrelazado, de la lógica y las Matemáticas, con e objetivo final de presentar la Lógica Computacional y, en particular, la Deducción Automática, como un área de investigación matemática de extraordinario potencial práctico, no en balde distintos autores de conocido prestigio afirman que la Lógica es a la Computación lo que el Cálculo Infinitesimal es a la Física.
