000 00821nam a22001697a 4500
999 _c6665
_d6665
008 150624b xxu||||| |||| 00| 0 eng d
020 _a9780763772062
050 _aQA76.9 .M35 H44 2010
_b10516
100 _aHein, James L.
245 _a Discrete Structures, Logic, and Computability.
_cHein, James L.
250 _a3 ed
260 _aBoston
_bJones and bartlett publishers
_c2010
300 _axiv,1009 p.
_bill
500 _aIncludes bibliographical references and index.
600 _21.Computer science -- Mathematics. 2.Logic programming. 3.Data structures (Computer science) 4.Logic, Symbolic and mathematical. 5. Computable functions.
_a1.Computer science -- Mathematics. 2.Logic programming. 3.Data structures (Computer science) 4.Logic, Symbolic and mathematical. 5. Computable functions.
942 _2lcc
_cBK