Como o próprio autor avisa, o livro foi feito para ser utilizado nas disciplinas de lógica em divernos níveis de ensinos de cursos de computação, por isso acaba tendo demonstração e exemplos com uma complexidade maior para ser entendida por alunos de graduação, mesmo assim ele acaba sendo um ótimo livro para seus estudos de lógica