Computabilidad y Lógica

Sinopsis

Este texto aborda los fundamentos de la lógica matemática y la teoría de la computabilidad, cubriendo temas como las funciones recursivas, la lógica de primer orden, los teoremas de incompletitud y las complejidades de la demostración. Es conocido por su estilo didáctico y la claridad de sus explicaciones.