Logica matematica

Este libro abarca todos los temas que son objeto de estudio en el programa de logica matematica para estudiantes de diversas carreras, especialmente estudiantes de ingenieria, que ofrece el Departamento de Matematicas de la Universidad Central. Asi, en sus nueve capitulos, se aborda la teoria de conjuntos, el razonamiento logico, la sintaxis de formulas, la semantica de proposiciones, la inferencia logica, la logica de primer orden, los silogismos categoricos, los metodos de demostracion y las algebras de Boole. En cada capitulo se ofrece al estudiante una explicacion con ejemplos, seguida de una serie de problemas practicos para ser resueltos de forma individual o en grupo, con el fin de favorecer el aprendizaje integral de todos los contenidos.