<?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>00411nam a22001457a 4500</leader>
  <controlfield tag="005">20260312132433.0</controlfield>
  <controlfield tag="008">260312b        |||||||| |||| 00| 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0521441161</subfield>
  </datafield>
  <datafield tag="050" ind1=" " ind2=" ">
    <subfield code="a">QA9.V38 1994</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Velleman. J. D.</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">How to prove it/</subfield>
    <subfield code="b">A structured approach</subfield>
    <subfield code="c">Daniel, V. J.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Cambridge</subfield>
    <subfield code="b">Cambridge university press</subfield>
    <subfield code="c">1994</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">ix, 309p, ;ill</subfield>
    <subfield code="b">hbk</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">28779</subfield>
    <subfield code="d">28779</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">FUNAAB</subfield>
    <subfield code="b">FUNAAB</subfield>
    <subfield code="d">2026-03-12</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA.9.V38 1994</subfield>
    <subfield code="p">2026-213055</subfield>
    <subfield code="r">2026-03-12 13:26:52</subfield>
    <subfield code="w">2026-03-12</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">FUNAAB</subfield>
    <subfield code="b">FUNAAB</subfield>
    <subfield code="d">2026-03-12</subfield>
    <subfield code="l">0</subfield>
    <subfield code="p">2026-213065</subfield>
    <subfield code="r">2026-03-12 13:41:09</subfield>
    <subfield code="w">2026-03-12</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
