<?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>00315nam a2200109Ia 4500</leader>
  <controlfield tag="008">230718s9999||||xx |||||||||||||| ||und||</controlfield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">.   </subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">HUTH MICHAEL</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2="0">
    <subfield code="a">LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING</subfield>
    <subfield code="b">ABOUT SYSTEMS</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="b">CAMBRIDGE UNIVERSITY PRESS</subfield>
    <subfield code="c">2005</subfield>
    <subfield code="a">INDIA</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">427</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK2:ELC:13B</subfield>
    <subfield code="d">2005-08-02</subfield>
    <subfield code="e">M/S HIGGIN BOTHAMS MANGALORE</subfield>
    <subfield code="g">395.00</subfield>
    <subfield code="i">6656 /  2005-07-18</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">.   </subfield>
    <subfield code="p">36081</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">3</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK3:SH:6A</subfield>
    <subfield code="d">2010-12-28</subfield>
    <subfield code="e">EDUCATIONAL</subfield>
    <subfield code="g">495.00</subfield>
    <subfield code="i">75806 /  2010-12-23</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.115   </subfield>
    <subfield code="p">40633</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">3</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK3:SH:6A</subfield>
    <subfield code="d">2011-01-05</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">495.00</subfield>
    <subfield code="i">4208 /  2010-01-27</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.115   </subfield>
    <subfield code="p">40639</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK3:SH:6A</subfield>
    <subfield code="d">2011-01-05</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">495.00</subfield>
    <subfield code="i">4208 /  2010-01-27</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.115   </subfield>
    <subfield code="p">40640</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">3</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK3:SH:6A</subfield>
    <subfield code="d">2010-12-28</subfield>
    <subfield code="e">M/S EDUCATIONAL SUPPLIES B'LOR</subfield>
    <subfield code="g">495.00</subfield>
    <subfield code="i">75806 /  2010-12-23</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.115   </subfield>
    <subfield code="p">40634</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2024-10-14</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">46598</subfield>
    <subfield code="d">46598</subfield>
  </datafield>
</record>
