If you want to understand why a proof by resolution works in Prolog, or the theoretical limits of predicate calculus, this book delivers. It covers normal forms (CNF, DNF) with a clarity that modern, glossier books often lack.
Ironically, for a book about CS applications, there is zero code. Modern discrete math texts include algorithm analysis (Big-O, recurrences) and number theory (cryptography RSA). Tremblay & Manohar predates the public-key cryptography revolution. You will find no discussion of modular arithmetic for encryption or hashing. If you want to understand why a proof
The PDF scans of the original 1970s edition often look like faded mimeographs. The notation (e.g., using $A'$ for complement or $ \overline{A} $ interchangeably) can be inconsistent. Modern students accustomed to LaTeX-quality formatting will find the typesetting jarring. The PDF scans of the original 1970s edition