TY  - BOOK
AU  - Hein,James L.
TI  - Discrete structures, logic, and computability
SN  - 9789380108391 (pbk)
U1  - 004.0151 
PY  - 2011///
CY  - New Delhi
PB  - Jones and Bartlett Publishers
KW  - Computer Science -- Mathematics
KW  - Logic Programming
KW  - Data Structures (Computer Science)
KW  - Logic, symbolic and mathematical
KW  - Computable Functions
N1  - Index; Chapter 1: Elementary Notion and Notations-----------------
Chapter 2: Facts about Functions----------------
Chapter 3: Construction techniques----------------
Chapter 4: Equivalence, Order and Inductive Proof---------------
Chapter 5: Analysis Techniques---------------
Chapter 6: Elementary Logic-------------------
Chapter 7: Predicate Logic-----------------
Chapter 8: Applied Logic-------------------
Chapter 9: Computational Logic--------------------
Chapter 10: Algebraic Structures and techniques--------------
Chapter 11: Regular Languages and Finite automata------------
Chapter 12: Context free Languages and Pushdown Automata--------
Chapter 13: Turing Machines and Equivalent Models----------------
Chapter 14: Computational Notions-----------------
ER  -