TY - GEN AU - Hein, James L. TI - Discrete structures, logic, and computability SN - 0763718432 AV - QA76.9.M35 H44 2002 PY - 2001/// CY - Boston PB - Jones and Bartlett Publishers KW - Bilgisayar bilimi KW - Matematik KW - Computer science KW - Mathematics N1 - Includes bibliographical references (p. 915-919) and index UR - http://www.loc.gov/catdir/toc/fy031/2001038122.html ER -