<?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>00434n   a2200169 a 4500</leader>
  <controlfield tag="000">B B                 </controlfield>
  <controlfield tag="001">041740</controlfield>
  <controlfield tag="005">20220204122135.0</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">978-0-521-67089-0</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">004.22</subfield>
    <subfield code="b">Q6;1 CSC</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Huth, Michael</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Logic In Computer Science</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Wellesley</subfield>
    <subfield code="b">Cambridge University Press</subfield>
    <subfield code="c">2016</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xiv,427p.</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2=" ">
    <subfield code="a">Computer Architecture,Computer Science</subfield>
  </datafield>
  <datafield tag="908" ind1=" " ind2=" ">
    <subfield code="a">T</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">0</subfield>
    <subfield code="a">SGGSCC</subfield>
    <subfield code="b">SGGSCC</subfield>
    <subfield code="d">2021-01-20</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">004.22 Q6;1 CSC</subfield>
    <subfield code="p">47822</subfield>
    <subfield code="r">2021-01-20 00:00:00</subfield>
    <subfield code="w">2021-01-20</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">55600</subfield>
    <subfield code="d">55600</subfield>
  </datafield>
</record>
