<?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>00612nam a2200217Ia 4500</leader>
  <controlfield tag="008">191130s2008##################000#0#eng##</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780199548743</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">Cambridge</subfield>
    <subfield code="b">Cambridge Univeristy Press</subfield>
    <subfield code="c">2008</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">vii, 250 p. : ill</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">Includes index</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Logic</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">948defd3ac10000c4187a17d468a001c</subfield>
  </datafield>
  <datafield tag="991" ind1=" " ind2=" ">
    <subfield code="a">103650</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">275087</subfield>
    <subfield code="d">275087</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="3">pbk</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">ACL</subfield>
    <subfield code="b">ACL</subfield>
    <subfield code="c">5A</subfield>
    <subfield code="d">2020-10-15</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 CHI</subfield>
    <subfield code="p">290817</subfield>
    <subfield code="r">2020-10-15 00:00:00</subfield>
    <subfield code="w">2020-10-15</subfield>
    <subfield code="y">ENGLISH</subfield>
  </datafield>
</record>
