<?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>01261nam a2200349Ia 4500</leader>
  <controlfield tag="005">20230705105741.0</controlfield>
  <controlfield tag="008">210716s2010    xx            000 0 und d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9789380108391</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">511.3 </subfield>
    <subfield code="2">3</subfield>
    <subfield code="b">HEIJ</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Hein, James L.</subfield>
    <subfield code="9">125560</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Discrete structures logic and computability /</subfield>
    <subfield code="c">By 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">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">xiv,1009p. ;</subfield>
    <subfield code="b">PB :</subfield>
    <subfield code="c">23 cm</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Elementary Notions and Notations</subfield>
    <subfield code="9">125561</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Facts about Functions</subfield>
    <subfield code="9">125562</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Construction Techniques</subfield>
    <subfield code="9">125563</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Equivalence, Order and Inductive proof</subfield>
    <subfield code="9">125564</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Analysis Techniques</subfield>
    <subfield code="9">125565</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Elementary Logic</subfield>
    <subfield code="9">125566</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Predicate Logic</subfield>
    <subfield code="9">125567</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Applied Logic</subfield>
    <subfield code="9">125568</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Computational Logic</subfield>
    <subfield code="9">125569</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Algebraic Structures and Techniques</subfield>
    <subfield code="9">125570</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Regular Languages and Finite Automata</subfield>
    <subfield code="9">125571</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Context-Free Languages and Pushdown Automata</subfield>
    <subfield code="9">125572</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Turning Machines and Equivalent Models</subfield>
    <subfield code="9">125573</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Computational Notions</subfield>
    <subfield code="9">125574</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">BK</subfield>
    <subfield code="e">3rd</subfield>
    <subfield code="k">511.3 HEIJ</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">190621</subfield>
    <subfield code="d">190621</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">595.00</subfield>
    <subfield code="i">Bill no:703; Bill dt:2010-08-01</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 HEIJ</subfield>
    <subfield code="p">MCA10129</subfield>
    <subfield code="r">2026-05-23 00:00:00</subfield>
    <subfield code="v">446.25</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">Athulya Books</subfield>
    <subfield code="g">595.00</subfield>
    <subfield code="i">Bill no:ABK 504; Bill dt:2010-09</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 HEIJ</subfield>
    <subfield code="p">MCA10507</subfield>
    <subfield code="r">2026-05-23 00:00:00</subfield>
    <subfield code="v">446.25</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">Athulya Books</subfield>
    <subfield code="g">595.00</subfield>
    <subfield code="i">Bill no:ABK1051; Bill dt:2011-02</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 HEIJ</subfield>
    <subfield code="p">MCA10538</subfield>
    <subfield code="r">2026-05-23 00:00:00</subfield>
    <subfield code="v">476.00</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">Athulya Books</subfield>
    <subfield code="g">595.00</subfield>
    <subfield code="i">Bill no:ABK 1051; Bill dt:2011-0</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 HEIJ</subfield>
    <subfield code="p">MCA10539</subfield>
    <subfield code="r">2026-05-23 00:00:00</subfield>
    <subfield code="v">476.00</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">Athulya Books</subfield>
    <subfield code="g">595.00</subfield>
    <subfield code="i">Bill no:ABK 1051; Bill dt:2011-0</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 HEIJ</subfield>
    <subfield code="p">MCA10540</subfield>
    <subfield code="r">2026-05-23 00:00:00</subfield>
    <subfield code="v">476.00</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">Athulya Books</subfield>
    <subfield code="g">595.00</subfield>
    <subfield code="i">Bill no:ABK 1051; Bill dt:2011-0</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 HEIJ</subfield>
    <subfield code="p">MCA10541</subfield>
    <subfield code="r">2026-05-23 00:00:00</subfield>
    <subfield code="v">476.00</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">Higginbothams Pvt Ltd</subfield>
    <subfield code="g">595.00</subfield>
    <subfield code="i">Bill no:1743; Bill dt:2011-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 HEIJ</subfield>
    <subfield code="p">MCA11219</subfield>
    <subfield code="r">2026-05-23 00:00:00</subfield>
    <subfield code="v">446.25</subfield>
    <subfield code="w">2021-07-16</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
