<?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>00529pam a2200193 a 4500</leader>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">477</subfield>
    <subfield code="d">477</subfield>
  </datafield>
  <controlfield tag="005">20220708144733.0</controlfield>
  <controlfield tag="008">961104s1997    nyu      b    001 0 eng  </controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780387949079</subfield>
  </datafield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
    <subfield code="a">511.3</subfield>
    <subfield code="b">KOZ/A</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Kozen, Dexter C.</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <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,</subfield>
    <subfield code="c">c1997.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xiii, 400 p. </subfield>
  </datafield>
  <datafield tag="440" ind1=" " ind2="0">
    <subfield code="a">Undergraduate texts in computer science</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Machine theory.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computable functions.</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">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">CSE</subfield>
    <subfield code="a">IITTP</subfield>
    <subfield code="b">IITTP</subfield>
    <subfield code="c">REF</subfield>
    <subfield code="d">2017-02-06</subfield>
    <subfield code="g">22481.00</subfield>
    <subfield code="i">TTPP/381/2016-17</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">REF 511.3 KozA</subfield>
    <subfield code="p">02309</subfield>
    <subfield code="r">2017-02-06 00:00:00</subfield>
    <subfield code="v">28100.88</subfield>
    <subfield code="w">2016-01-23</subfield>
    <subfield code="y">REF</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">CSE</subfield>
    <subfield code="a">IITTP</subfield>
    <subfield code="b">IITTP</subfield>
    <subfield code="c">GEN</subfield>
    <subfield code="d">2017-02-06</subfield>
    <subfield code="e">Today and Tomorrow</subfield>
    <subfield code="g">22481.00</subfield>
    <subfield code="i">TTPP/381/2016-17</subfield>
    <subfield code="l">1</subfield>
    <subfield code="o">511.3 KOZ/A</subfield>
    <subfield code="p">02310</subfield>
    <subfield code="r">2017-04-04 00:00:00</subfield>
    <subfield code="s">2017-03-08</subfield>
    <subfield code="v">28100.88</subfield>
    <subfield code="w">2016-01-23</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">CSE</subfield>
    <subfield code="a">IITTP</subfield>
    <subfield code="b">IITTP</subfield>
    <subfield code="c">GEN</subfield>
    <subfield code="d">2017-02-06</subfield>
    <subfield code="e">Today and Tomorrow</subfield>
    <subfield code="g">22481.00</subfield>
    <subfield code="i">TTPP/381/2016-17</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 KOZ/A</subfield>
    <subfield code="p">02311</subfield>
    <subfield code="r">2017-02-06 00:00:00</subfield>
    <subfield code="v">28100.88</subfield>
    <subfield code="w">2016-01-23</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">CSE</subfield>
    <subfield code="a">IITTP</subfield>
    <subfield code="b">IITTP</subfield>
    <subfield code="c">GEN</subfield>
    <subfield code="d">2017-02-06</subfield>
    <subfield code="e">Today and Tomorrow</subfield>
    <subfield code="g">22481.00</subfield>
    <subfield code="i">TTPP/381/2016-17</subfield>
    <subfield code="l">2</subfield>
    <subfield code="m">4</subfield>
    <subfield code="o">511.3 KOZ/A</subfield>
    <subfield code="p">02312</subfield>
    <subfield code="r">2022-04-01 00:00:00</subfield>
    <subfield code="s">2020-01-13</subfield>
    <subfield code="v">28100.88</subfield>
    <subfield code="w">2016-01-23</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">CSE</subfield>
    <subfield code="a">IITTP</subfield>
    <subfield code="b">IITTP</subfield>
    <subfield code="c">GEN</subfield>
    <subfield code="d">2017-02-06</subfield>
    <subfield code="e">Today and Tomorrow</subfield>
    <subfield code="g">22481.00</subfield>
    <subfield code="i">TTPP/381/2016-17</subfield>
    <subfield code="l">3</subfield>
    <subfield code="o">511.3 KOZ/A</subfield>
    <subfield code="p">02313</subfield>
    <subfield code="r">2023-05-25 00:00:00</subfield>
    <subfield code="s">2022-11-26</subfield>
    <subfield code="v">28100.88</subfield>
    <subfield code="w">2016-01-23</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">CSE</subfield>
    <subfield code="a">IITTP</subfield>
    <subfield code="b">IITTP</subfield>
    <subfield code="c">GEN</subfield>
    <subfield code="d">2017-02-06</subfield>
    <subfield code="e">Today and Tomorrow</subfield>
    <subfield code="g">22481.00</subfield>
    <subfield code="i">TTPP/381/2016-17</subfield>
    <subfield code="l">3</subfield>
    <subfield code="o">511.3 KOZ/A</subfield>
    <subfield code="p">02314</subfield>
    <subfield code="r">2019-05-14 00:00:00</subfield>
    <subfield code="s">2019-02-07</subfield>
    <subfield code="v">28100.88</subfield>
    <subfield code="w">2016-01-23</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
