Discrete structures, logic, and computability - Hein, James L. (New Delhi Jones & Bartlett learning, 2017)
Includes references, glossary and index.
Keywords: Discrete structures -- Mathematics -- Construction techniques -- Language-Automata -- Elementary notions -- Binary relations -- Inductive proof -- Graph theory -- Applied logic -- Computability -- Functions -- Notation -- Logic -- RICAS