TY  - BOOK
AU  - Hein,James L.
TI  - Discrete structures, logic, and computability
SN  - 9781284070408
U1  - 005.131 
PY  - 2017///] ©2017
CY  - Burlington, MA : 
PB  - Jones & Bartlett Learning, 
KW  - Computer science
KW  - Logic programming
KW  - Data structures (Computer science)
KW  - Logic, Symbolic and mathematical
KW  - Computable functions
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  -