<?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>00661nam a2200217Ia 4500</leader>
  <controlfield tag="005">20220715100359.0</controlfield>
  <controlfield tag="008">210716s2010    xx            000 0 und d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9789380108087</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="c">AIMIT LIBRARY</subfield>
  </datafield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">515.1 </subfield>
    <subfield code="2">2</subfield>
    <subfield code="b">CAUR</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Causey, Robert L.</subfield>
    <subfield code="9">49732</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Logic sets and recursion /</subfield>
    <subfield code="c">By Robert L Causey.</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">2nd ed.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New Delhi :</subfield>
    <subfield code="b">Jones and Bartlett Publishers ,</subfield>
    <subfield code="c">2010.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">ix,512p. ;</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Sentential calculus</subfield>
    <subfield code="9">49733</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Recursion and mathematical induction</subfield>
    <subfield code="9">49734</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Predicate calculus</subfield>
    <subfield code="9">49735</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">BK</subfield>
    <subfield code="e">2nd</subfield>
    <subfield code="k">515.1 CAUR</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">190613</subfield>
    <subfield code="d">190613</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="7">0</subfield>
    <subfield code="8">MCA</subfield>
    <subfield code="a">AIMIT</subfield>
    <subfield code="b">AIMIT</subfield>
    <subfield code="e">Knowledge World</subfield>
    <subfield code="g">354.00</subfield>
    <subfield code="i">Bill no:703; Bill dt:2010-07-29</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">515.1 CAUR</subfield>
    <subfield code="p">MCA10121</subfield>
    <subfield code="r">2025-07-21 00:00:00</subfield>
    <subfield code="v">265.50</subfield>
    <subfield code="w">2021-07-16</subfield>
    <subfield code="y">BK</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="7">0</subfield>
    <subfield code="8">MCA</subfield>
    <subfield code="a">AIMIT</subfield>
    <subfield code="b">AIMIT</subfield>
    <subfield code="e">Knowledge World</subfield>
    <subfield code="g">345.00</subfield>
    <subfield code="i">Bill no:16/12-13; Bill dt:2012-0</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">515.1 CAUR</subfield>
    <subfield code="p">MCA12062</subfield>
    <subfield code="r">2025-07-21 00:00:00</subfield>
    <subfield code="v">258.75</subfield>
    <subfield code="w">2021-07-16</subfield>
    <subfield code="y">BK</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="7">0</subfield>
    <subfield code="8">MCA</subfield>
    <subfield code="a">AIMIT</subfield>
    <subfield code="b">AIMIT</subfield>
    <subfield code="e">Knowledge World</subfield>
    <subfield code="g">395.00</subfield>
    <subfield code="i">Bill no:1617; Bill dt:2013-05-20</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">515.1 CAUR</subfield>
    <subfield code="p">MCA13040</subfield>
    <subfield code="r">2025-07-21 00:00:00</subfield>
    <subfield code="v">296.25</subfield>
    <subfield code="w">2021-07-16</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
