Discrete structures logic and computability - Hein, James L. (New Delhi Jones and Bartlett Publishers., 2010)
Keywords: Elementary Notions and Notations; Facts about Functions; Construction Techniques; Equivalence, Order and Inductive proof; Analysis Techniques; Elementary Logic; Predicate Logic; Applied Logic; Computational Logic; Algebraic Structures and Techniques; Regular Languages and Finite Automata; Context-Free Languages and Pushdown Automata; Turning Machines and Equivalent Models; Computational Notions