<?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>00636nam a2200217Ia 4500</leader>
  <controlfield tag="008">191130s2007##################000#0#eng##</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780199215621</subfield>
  </datafield>
  <datafield tag="022" ind1=" " ind2=" ">
    <subfield code="a">2006103200</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">ACL</subfield>
    <subfield code="c">ACL</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">511.3 CHI</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Chiswell, Ian</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Mathematical logic</subfield>
    <subfield code="c">Ian Chiswell and Wilfrid Hodges</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Oxford</subfield>
    <subfield code="b">Oxford University Press</subfield>
    <subfield code="c">2007</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">viii, 250 p. : ill. ; 25 cm., : alk. paper</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">Includes index</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Logic, Symbolic and mathematical</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Hodges, Wilfrid</subfield>
  </datafield>
  <datafield tag="990" ind1=" " ind2=" ">
    <subfield code="a">8fe7ffddac10000c19beeff47e11a7d8</subfield>
  </datafield>
  <datafield tag="991" ind1=" " ind2=" ">
    <subfield code="a">102817</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">378831</subfield>
    <subfield code="d">378831</subfield>
  </datafield>
</record>
