TY  - BOOK
T1  - Discrete structures, logic, and computability
A1  - Hein, James L.
LA  - English
PP  - Sudbury, Mass.
PB  - Jones and Bartlett Publishers
YR  - 2010
ED  - 3rd ed.
UL  - https://tuklas.up.edu.ph/Record/UP-99796217609243773
OP  - 1009
CN  - QA 76.9 M35 H45 2010
SN  - 9780763772062 (hbk.)
SN  - 0763772062 (hbk.)
KW  - Computer science : Mathematics.
KW  - Logic programming.
KW  - Data structures (Computer science).
KW  - Logic, Symbolic and mathematical.
KW  - Computable functions.
ER  -