TY  - BOOK
TI  - Discrete structures, logic, and computability
SN  - 978-1-28407040-8
U1  - 004.0151 H4681 2017 
PB  - Jones & Bartlett Learning, LLC
KW  - Computable functions
N1  - E-books
ER  -