Bueno, depende de lo que busques. Yo no sé mucho del tema pero creo es un libro que enfoca la materia más hacia el ámbito filosófico, que el matemático. Personalmente (sin poner en duda el valor de la labor de Deaño) se me hace muy denso y echo en falta temas importantes como los teoremas de compleción. Y en tanto a lo de un libro formal, yo buscaría un libro que te ayude a entender el intríngulis de lo que hay detrás, que aunque sea razonable, a veces puede ser un tanto confuso. Hay apuntes que son una amalgama de axiomas y resultados puramente formales, pero sin una base más informal te va a ser dificil seguirlos. Yo creo que el libro de Carlos Ivorra es muy adecuado para esa tarea, además de que profundiza mucho.
