On pages 43-44, the author mentions a member of my school's faculty G. Toualakis. The criticisms are valid and his textbook is convoluted. I appreciate the recognition on unnecessary formalism and complexity.

For a 1000 level logic course that Software Engineers, Computer Engineers and Computer Science must take, it is extreme.

Overall, interesting to see!