| 000 | 01232cam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | 15574703 | ||
| 003 | BD-DhUL | ||
| 005 | 20140724114931.0 | ||
| 008 | 140723s2010 maua b 001 0 eng | ||
| 010 | _a 2008055744 | ||
| 020 | _a9780763772062 (hardcover) | ||
| 020 | _a0763772062 (hardcover) | ||
| 035 | _a(OCoLC)ocn290423157 | ||
| 040 |
_aDLC _cDLC _dBTCTA _dYDXCP _dC#P _dBWX _dCDX _dDLC _dBD-DhUL |
||
| 050 | 0 | 0 |
_aQA76.9.M35 _b.H44 2010 |
| 082 | 0 | 0 |
_a004.0151 _222 _bHED |
| 100 | 1 | _aHein, James L. | |
| 245 | 1 | 0 |
_aDiscrete structures, logic, and computability / _cJames L. Hein. |
| 250 | _a3rd ed. | ||
| 260 |
_aSudbury, Mass. : _bJones and Bartlett Publishers, _cc2010. |
||
| 300 |
_axiv, 1009 p. : _bill. ; _c25 cm. |
||
| 504 | _aIncludes bibliographical references (p. 981-985) and index. | ||
| 650 | 0 |
_aComputer science _xMathematics. |
|
| 650 | 0 | _aLogic programming. | |
| 650 | 0 | _aData structures (Computer science) | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 0 | _aComputable functions. | |
| 906 |
_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 955 |
_axh00 2009-01-05 _ixh07 2009-01-06 _ard14 2009-01-06 _axe11 2009-05-11 1 copy rec'd., to CIP ver. _axh00 2009-05-13 to USPL/STM |
||
| 999 |
_c476 _d476 |
||