<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>01232cam a2200337 a 4500</leader>
  <controlfield tag="001">15574703</controlfield>
  <controlfield tag="003">BD-DhUL</controlfield>
  <controlfield tag="005">20140724114931.0</controlfield>
  <controlfield tag="008">140723s2010    maua     b    001 0 eng  </controlfield>
  <datafield tag="010" ind1=" " ind2=" ">
    <subfield code="a">  2008055744</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780763772062 (hardcover)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0763772062 (hardcover)</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">(OCoLC)ocn290423157</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">DLC</subfield>
    <subfield code="c">DLC</subfield>
    <subfield code="d">BTCTA</subfield>
    <subfield code="d">YDXCP</subfield>
    <subfield code="d">C#P</subfield>
    <subfield code="d">BWX</subfield>
    <subfield code="d">CDX</subfield>
    <subfield code="d">DLC</subfield>
    <subfield code="d">BD-DhUL</subfield>
  </datafield>
  <datafield tag="050" ind1="0" ind2="0">
    <subfield code="a">QA76.9.M35</subfield>
    <subfield code="b">.H44 2010</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
    <subfield code="a">004.0151</subfield>
    <subfield code="2">22</subfield>
    <subfield code="b">HED</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Hein, James L.</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">Discrete structures, logic, and computability /</subfield>
    <subfield code="c">James L. Hein.</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">3rd ed.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Sudbury, Mass. :</subfield>
    <subfield code="b">Jones and Bartlett Publishers,</subfield>
    <subfield code="c">c2010.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xiv, 1009 p. :</subfield>
    <subfield code="b">ill. ;</subfield>
    <subfield code="c">25 cm.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references (p. 981-985) and index.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer science</subfield>
    <subfield code="x">Mathematics.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Logic programming.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Data structures (Computer science)</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Logic, Symbolic and mathematical.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computable functions.</subfield>
  </datafield>
  <datafield tag="906" ind1=" " ind2=" ">
    <subfield code="a">7</subfield>
    <subfield code="b">cbc</subfield>
    <subfield code="c">orignew</subfield>
    <subfield code="d">1</subfield>
    <subfield code="e">ecip</subfield>
    <subfield code="f">20</subfield>
    <subfield code="g">y-gencatlg</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">BK</subfield>
  </datafield>
  <datafield tag="955" ind1=" " ind2=" ">
    <subfield code="a">xh00 2009-01-05</subfield>
    <subfield code="i">xh07 2009-01-06</subfield>
    <subfield code="a">rd14 2009-01-06</subfield>
    <subfield code="a">xe11 2009-05-11 1 copy rec'd., to CIP ver.</subfield>
    <subfield code="a">xh00 2009-05-13 to USPL/STM</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">476</subfield>
    <subfield code="d">476</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="6">004_015100000000000_HED</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="9">791</subfield>
    <subfield code="a">DUSL</subfield>
    <subfield code="b">DUSL</subfield>
    <subfield code="c">GEN</subfield>
    <subfield code="d">2010-05-02</subfield>
    <subfield code="e">Purchased</subfield>
    <subfield code="o">004.0151 HED</subfield>
    <subfield code="p">442937</subfield>
    <subfield code="r">2014-07-24</subfield>
    <subfield code="w">2014-07-24</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
