TY  - BOOK
AU  - Hein, James L.
TI  - Discrete structures, logic, and computability
SN  - 9789380108391
AV  - QA 76.9.M35 .H45 [2013] 
PY  - 2013///
CY  - Burlington, MA
PB  - Jone and Bartlett Learning
KW  - COMPUTER SCIENCE -- MATHEMATICS
N1  - Includes bibliographical references and index; 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  -