TY - BOOK AU - HEIN,James L. TI - Discrete structures, logic, and computability SN - 9789384323264 U1 - 005.115 PY - 2017/// CY - New Delhi PB - Jones and Bartlett KW - Computer Science KW - Data structures (Computer science) KW - Logic programming N1 - include index ER -