En mi humilde entendimiento, se nota que los autores saben de los que estan hablando, y recomiendo el libro a toda persona verdaderamente interesada en el tema, ya que presentan todas las demostraciones, explicaciones, y hasta analizan digamos "extrapolaciones" del teorema a otras areas realizadas por varias personas, y exponen por qué estas no son validas, además de plantear ejercicios para acompañar la lectura, y presentar preguntas que se encuentran abiertas hasta el día de hoy.
Por otro lado, el libro no me resultó tan "para todos" como los autores supuestamente intentaron que fuera. Aun con cierta base de lógica y computabilidad, por haber cursado una materia sobre esto en la universidad (y en la cual usamos apuntes del mismisimo Martínez hechos mientras el daba lógica en la UBA), varias veces me encontré con dificultades para seguir los razonamientos (tanto del libro en si como en la resolución de los ejercicios adicionales propuestos), por lo que solo puedo suponer que para una persona sin base alguna de lógica sería aun peor.Además de esto, se me hizo medio tediosa la lectura al llegar al final.
Aun así repito, para alguien realmente interesado en tema y que entienda sobre el asunto, puede ser una lectura enriquecedora y probablemente de las mejores en la lengua española.