Computabilidad y lógica- George S. Boolos

La Computabilidad y la Lógica se ha convertido en un clásico por su accesibilidad a los estudiantes sin antecedentes matemáticos y porque no abarca sólo los temas básicos de un curso de lógica intermedia, como los teoremas de incompletitud de Gödel, sino también un gran número de temas opcionales, de Turing S de la computabilidad al teorema de Ramsey. Incluyendo una selección de ejercicios, ajustados a esta edición, al final de cada capítulo, ofrece un tratamiento nuevo y más sencillo de la representatividad de las funciones recursivas, un escollo tradicional para los estudiantes en el camino hacia los teoremas de incompletud de Gödel ".