Discrete structures logic and computability /
By James L Hein
- 3rd ed.
- New Delhi Jones and Bartlett Publishers. 2010
- xiv,1009p. ; PB : 23 cm
9789380108391
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