Este texto será de gran ayuda para afrontar situaciones cotidianas en las que sea necesario mantener diálogos para interactuar o defender alguna posición o idea. Se abordan los temas básicos de un curso de Lógica Matemática, y con base en ejemplos y ejercicios tomados de situaciones cotidianas, los autores plantean estrategias para evaluar y diferenciar, con base en los conceptos y reglas de esta disciplina, el pensamiento correcto del incorrecto.

Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts.