<?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>00979nam a2200265 a 4500</leader>
  <controlfield tag="001">vtls000095572</controlfield>
  <controlfield tag="003">KUKTEM</controlfield>
  <controlfield tag="005">20251117141356.0</controlfield>
  <controlfield tag="008">160530t2017    maua   f      001 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9781284070408 (hbk.)</subfield>
  </datafield>
  <datafield tag="039" ind1=" " ind2="9">
    <subfield code="a">201608181630</subfield>
    <subfield code="b">saini</subfield>
    <subfield code="c">201608181630</subfield>
    <subfield code="d">saini</subfield>
    <subfield code="c">201605301538</subfield>
    <subfield code="d">faiz</subfield>
    <subfield code="y">201605301534</subfield>
    <subfield code="z">faiz</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">UMP</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">4th ed.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Burlington, MA :</subfield>
    <subfield code="b">Jones &amp; Bartlett Learning,</subfield>
    <subfield code="c">[2017]</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xiv, 1039 p. :</subfield>
    <subfield code="b">ill. ;</subfield>
    <subfield code="c">24 cm.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references 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="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">1</subfield>
    <subfield code="a">20000</subfield>
    <subfield code="b">20000</subfield>
    <subfield code="d">2019-09-04</subfield>
    <subfield code="g">1020.84</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA76.9.M35 H45 2017 r</subfield>
    <subfield code="p">0000111231</subfield>
    <subfield code="r">2019-09-04 00:00:00</subfield>
    <subfield code="t">1</subfield>
    <subfield code="v">1020.84</subfield>
    <subfield code="w">2019-09-04</subfield>
    <subfield code="y">REF</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="a">VIRTUA40</subfield>
    <subfield code="c">15734</subfield>
    <subfield code="d">15740</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="a">VTLSSORT0080*0200*0400*0900*1000*2450*2500*2600*3000*5040*6500*6501*6502*6503*6504*9992</subfield>
  </datafield>
</record>
