TY  - BOOK
AU  - Hein, James.J
TI  - Discrete Structures Logic, and Computability
SN  - 9780763772062
U1  - 004.0151 
PY  - 2017///
CY  - New Delhi
PB  -   Jones and Barlett
KW  - Computer science -- Mathematics
KW  - Logic programming
KW  -  Data structures (Computer science)
N1  - 	Elementary notions and notations --
Facts about functions --
Construction techniques --
Binary relations and inductive proof --
Analysis tools and techniques --
Elementary logic --
Predicate logic --
Applied logic --
Algebraic structures and techniques --
Graph theory --
Languages and automata --
Computational notions
ER  -