Teoría de conjuntos, lógica y temas afines I

Sinopsis del libro

Este libro provee un tratamiento accesible, a la vez riguroso, de varios de los temas de lógica matemática intermedia y avanzada. Los capítulos iniciales tratan de la calculabilidad, en diferentes variantes, de los teoremas de incompletud de Gödel y de cómo puede usarse la lógica modal en la extensión de propiedades…