TY  - BOOK
AU  - Hein, James L.
TI  - Discrete structures logic and computability
SN  - 9789380108391
U1  - 511.3  3
PY  - 2010///
CY  - New Delhi
PB  - Jones and Bartlett Publishers.
KW  - Elementary Notions and Notations
KW  - Facts about Functions
KW  - Construction Techniques
KW  - Equivalence, Order and Inductive proof
KW  - Analysis Techniques
KW  - Elementary Logic
KW  - Predicate Logic
KW  - Applied Logic
KW  - Computational Logic
KW  - Algebraic Structures and Techniques
KW  - Regular Languages and Finite Automata
KW  - Context-Free Languages and Pushdown Automata
KW  - Turning Machines and Equivalent Models
KW  - Computational Notions
ER  -