TY - BOOK T1 - Discrete structures, logic, and computability A1 - Hein, James L. LA - English PP - Burlington, MA PB - World Headquarters/Jones & Bartlett Learning YR - 2017 ED - Fourth edition. UL - https://tuklas.up.edu.ph/Record/UP-99796217613057441 OP - 1039 CN - QA 76.9 M35 H45 2017 SN - 9781284099867 (casebound) SN - 9781284070408 KW - Computer science : Mathematics. KW - Logic programming. KW - Data structures (Computer science) KW - Logic, Symbolic and mathematical. KW - Computable functions. ER -