<?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>00793nam a22002297a 4500</leader>
  <controlfield tag="001">17400124</controlfield>
  <controlfield tag="005">20231212143315.0</controlfield>
  <controlfield tag="008">231212b        |||||||| |||| 00| 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780123822178</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">DLC</subfield>
    <subfield code="c">KMU</subfield>
    <subfield code="d">KMU</subfield>
    <subfield code="e">rda</subfield>
  </datafield>
  <datafield tag="050" ind1="0" ind2="0">
    <subfield code="a">QA 9.54</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Cupillari, Antonella.</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="4">
    <subfield code="a">The nuts and bolts of proofs :</subfield>
    <subfield code="b">an introduction to mathematical proofs /</subfield>
    <subfield code="c">Antonella Cupillari.</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">4th ed.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Amsterdam ;</subfield>
    <subfield code="a">Boston :</subfield>
    <subfield code="b">Elsevier Academic Press,</subfield>
    <subfield code="c">c2013.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">ix, 283 p. :</subfield>
    <subfield code="b">ill. ;</subfield>
    <subfield code="c">23 cm.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references (p. 278-280) and index.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Proof theory.</subfield>
  </datafield>
  <datafield tag="906" ind1=" " ind2=" ">
    <subfield code="a">7</subfield>
    <subfield code="b">cbc</subfield>
    <subfield code="c">origcop</subfield>
    <subfield code="d">2</subfield>
    <subfield code="e">ncip</subfield>
    <subfield code="f">20</subfield>
    <subfield code="g">y-gencatlg</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">lcc</subfield>
    <subfield code="c">BK</subfield>
    <subfield code="n">0</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">886</subfield>
    <subfield code="d">886</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">CPL</subfield>
    <subfield code="b">CPL</subfield>
    <subfield code="c">OA</subfield>
    <subfield code="d">2023-12-12</subfield>
    <subfield code="e">Zambia Library Service</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 9.54 Cup</subfield>
    <subfield code="p">749248</subfield>
    <subfield code="r">2023-12-12 00:00:00</subfield>
    <subfield code="w">2023-12-12</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">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">CPL</subfield>
    <subfield code="b">CPL</subfield>
    <subfield code="c">OA</subfield>
    <subfield code="d">2023-12-12</subfield>
    <subfield code="e">Zambia Library Service</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 9.54 Cup</subfield>
    <subfield code="p">749247</subfield>
    <subfield code="r">2023-12-12 00:00:00</subfield>
    <subfield code="w">2023-12-12</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">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">CPL</subfield>
    <subfield code="b">CPL</subfield>
    <subfield code="c">OA</subfield>
    <subfield code="d">2023-12-12</subfield>
    <subfield code="e">Zambia Library Service</subfield>
    <subfield code="l">1</subfield>
    <subfield code="o">QA 9.54 Cup</subfield>
    <subfield code="p">749246</subfield>
    <subfield code="r">2024-02-19 00:00:00</subfield>
    <subfield code="s">2024-02-05</subfield>
    <subfield code="w">2023-12-12</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">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">CPL</subfield>
    <subfield code="b">CPL</subfield>
    <subfield code="c">OA</subfield>
    <subfield code="d">2023-12-12</subfield>
    <subfield code="e">Zambia Library Service</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 9.54 Cup</subfield>
    <subfield code="p">749245</subfield>
    <subfield code="r">2023-12-12 00:00:00</subfield>
    <subfield code="w">2023-12-12</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
