<?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>00850nam a2200193 a 4500</leader>
  <controlfield tag="008">200723s2019    ||||||||||||||||| ||    u</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9781108439534</subfield>
  </datafield>
  <datafield tag="050" ind1=" " ind2=" ">
    <subfield code="a">QA 9 Vel</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Velleman, Daniel J</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">How to prove it : a structured approach </subfield>
    <subfield code="c">By Daniel J. Velleman</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">3rd edition</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Cambridge</subfield>
    <subfield code="b">Cambridge University Press</subfield>
    <subfield code="c">2019</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xii, 458 pages : illustrations</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">PROOF THEORY</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">LOGIC, SYMBOLIC AND MATHEMATICAL</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">MATHEMATICS </subfield>
  </datafield>
  <datafield tag="995" ind1=" " ind2=" ">
    <subfield code="a">MAIN LIBRARY OPEN ACCESS</subfield>
    <subfield code="D">44.96</subfield>
    <subfield code="e">750427</subfield>
    <subfield code="F">CBU-MAIN LIBRARY (Kitwe)</subfield>
    <subfield code="j">QA 9 Vel</subfield>
    <subfield code="M">1</subfield>
    <subfield code="U">AVAILABLE</subfield>
    <subfield code="W">Jul 28, 2020</subfield>
    <subfield code="y">750427</subfield>
    <subfield code="Z">Main Library Open Access Collection</subfield>
  </datafield>
  <datafield tag="995" ind1=" " ind2=" ">
    <subfield code="a">MAIN LIBRARY OPEN ACCESS</subfield>
    <subfield code="D">44.96</subfield>
    <subfield code="e">750428</subfield>
    <subfield code="F">CBU-MAIN LIBRARY (Kitwe)</subfield>
    <subfield code="j">QA 9 Vel</subfield>
    <subfield code="M">2</subfield>
    <subfield code="U">AVAILABLE</subfield>
    <subfield code="W">Jul 28, 2020</subfield>
    <subfield code="y">750428</subfield>
    <subfield code="Z">Main Library Open Access Collection</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">76392</subfield>
    <subfield code="d">76392</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="a">001</subfield>
    <subfield code="b">001</subfield>
    <subfield code="c">Main Library Open Access Collection</subfield>
    <subfield code="d">2023-04-25</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 9 Vel</subfield>
    <subfield code="p">750427</subfield>
    <subfield code="r">2023-04-25</subfield>
    <subfield code="t">1</subfield>
    <subfield code="w">2023-04-25</subfield>
    <subfield code="y">002</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="a">001</subfield>
    <subfield code="b">001</subfield>
    <subfield code="c">Main Library Open Access Collection</subfield>
    <subfield code="d">2023-04-25</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 9 Vel</subfield>
    <subfield code="p">750428</subfield>
    <subfield code="r">2023-04-25</subfield>
    <subfield code="t">2</subfield>
    <subfield code="w">2023-04-25</subfield>
    <subfield code="y">002</subfield>
  </datafield>
</record>
