Discrete structures, logic, and computability - Hein, James L. (Burlington, MA World Headquarters/Jones & Bartlett Learning, 2017)
Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
Includes bibliographical references and index.
Keywords: Computer science -- Mathematics; Logic programming; Data structures (Computer science); Logic, Symbolic and mathematical; Computable functions