<?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>00664nam a2200229Ia 4500</leader>
  <controlfield tag="008">131103s9999    xx            000 0 und d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">387949070</subfield>
    <subfield code="c">Rs.395.00</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">Loreto College</subfield>
  </datafield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">English</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">005.131/KOZ</subfield>
    <subfield code="b">LCLIB/47370</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Kozen, Dexter C.</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Automata and computability</subfield>
    <subfield code="c">Dexter C.Kozen</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New York</subfield>
    <subfield code="b">Springer-Verlag</subfield>
    <subfield code="c">1997</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xiii,400p </subfield>
    <subfield code="c"> 23cm</subfield>
  </datafield>
  <datafield tag="440" ind1=" " ind2=" ">
    <subfield code="a">Undergraduate texts in computer science</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes references and index</subfield>
  </datafield>
  <datafield tag="630" ind1=" " ind2=" ">
    <subfield code="a">Automata</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Computable complexity</subfield>
  </datafield>
  <datafield tag="651" ind1=" " ind2=" ">
    <subfield code="a">Machine theory</subfield>
  </datafield>
  <datafield tag="850" ind1=" " ind2=" ">
    <subfield code="a">LCLIB/005.131/KOZ</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">34618</subfield>
    <subfield code="d">85097</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">MAIN</subfield>
    <subfield code="b">MAIN</subfield>
    <subfield code="d">2013-11-04</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.131/KOZ LCLIB/47370</subfield>
    <subfield code="p">B37488</subfield>
    <subfield code="r">2013-11-04</subfield>
    <subfield code="w">2013-11-04</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
