<?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>01102nam a22003137a 4500</leader>
  <controlfield tag="003">SNU</controlfield>
  <controlfield tag="005">20250805094749.0</controlfield>
  <controlfield tag="008">151112b        xxu||||| |||| 00| 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780521675994</subfield>
  </datafield>
  <datafield tag="028" ind1=" " ind2=" ">
    <subfield code="a">:S R Book Distributors </subfield>
    <subfield code="b">:12, Satyam Enclave Tejab Mill Compound New Kot  Gaon G T Road Ghaziabad </subfield>
    <subfield code="c">:1573</subfield>
    <subfield code="d">:31/10/2015</subfield>
  </datafield>
  <datafield tag="028" ind1=" " ind2=" ">
    <subfield code="a">:Brijwasi Book Distributors </subfield>
    <subfield code="b">:H-87, Lalita park Laxmi Nagar Delhi 110092</subfield>
    <subfield code="c">:BW/003815</subfield>
    <subfield code="d">:20/10/2016</subfield>
  </datafield>
  <datafield tag="028" ind1=" " ind2=" ">
    <subfield code="a">Donated by Prof. Sanjeev Agrawal</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">511.3 VEL</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Velleman, Daniel J.</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 J Velleman</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">2nd ed. </subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a"> New York </subfield>
    <subfield code="b">: Cambridge University Press, </subfield>
    <subfield code="c">2006.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xiii, 384p. </subfield>
    <subfield code="c">24cm. </subfield>
  </datafield>
  <datafield tag="365" ind1=" " ind2=" ">
    <subfield code="b">2795</subfield>
  </datafield>
  <datafield tag="365" ind1=" " ind2=" ">
    <subfield code="b">2245</subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Mathematics </subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Logic, Symbolic and mathematical.</subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Matematiksel </subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Quantificational Logic </subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Mathematical Induction </subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Daniel J Velleman</subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">and How to prove it : a structured approach</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">BOOK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">44758</subfield>
    <subfield code="d">44758</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">SNUL</subfield>
    <subfield code="b">SNUL</subfield>
    <subfield code="d">2015-11-12</subfield>
    <subfield code="e">S R Book Distributors </subfield>
    <subfield code="g">2795.00</subfield>
    <subfield code="l">36</subfield>
    <subfield code="m">29</subfield>
    <subfield code="o">511.3 VEL</subfield>
    <subfield code="p">18777</subfield>
    <subfield code="r">2025-12-15 17:17:12</subfield>
    <subfield code="s">2025-11-02</subfield>
    <subfield code="w">2015-11-12</subfield>
    <subfield code="y">BOOK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">SNUL</subfield>
    <subfield code="b">SNUL</subfield>
    <subfield code="d">2015-11-12</subfield>
    <subfield code="e">S R Book Distributors </subfield>
    <subfield code="g">2795.00</subfield>
    <subfield code="l">34</subfield>
    <subfield code="m">27</subfield>
    <subfield code="o">511.3 VEL</subfield>
    <subfield code="p">18778</subfield>
    <subfield code="r">2025-02-24 00:00:00</subfield>
    <subfield code="s">2025-02-12</subfield>
    <subfield code="w">2015-11-12</subfield>
    <subfield code="y">BOOK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">SNUL</subfield>
    <subfield code="b">SNUL</subfield>
    <subfield code="d">2015-11-12</subfield>
    <subfield code="e">S R Book Distributors </subfield>
    <subfield code="g">2795.00</subfield>
    <subfield code="l">30</subfield>
    <subfield code="m">32</subfield>
    <subfield code="o">511.3 VEL</subfield>
    <subfield code="p">18779</subfield>
    <subfield code="r">2026-02-27 10:20:28</subfield>
    <subfield code="s">2026-02-26</subfield>
    <subfield code="w">2015-11-12</subfield>
    <subfield code="y">BOOK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">SNUL</subfield>
    <subfield code="b">SNUL</subfield>
    <subfield code="d">2016-10-24</subfield>
    <subfield code="e">Brijwasi Book Distributors </subfield>
    <subfield code="g">2245.00</subfield>
    <subfield code="l">1</subfield>
    <subfield code="o">511.3 VEL</subfield>
    <subfield code="p">22113</subfield>
    <subfield code="r">2016-12-06 00:00:00</subfield>
    <subfield code="s">2016-12-05</subfield>
    <subfield code="w">2016-10-24</subfield>
    <subfield code="y">BOOK</subfield>
    <subfield code="z">Missing / Written Off </subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">SNUL</subfield>
    <subfield code="b">SNUL</subfield>
    <subfield code="d">2025-08-05</subfield>
    <subfield code="e">Donated by Prof. Sanjeev Agrawal</subfield>
    <subfield code="g">0.00</subfield>
    <subfield code="l">3</subfield>
    <subfield code="m">1</subfield>
    <subfield code="o">511.3 VEL</subfield>
    <subfield code="p">G5540</subfield>
    <subfield code="r">2026-02-27 13:20:12</subfield>
    <subfield code="s">2026-02-03</subfield>
    <subfield code="w">2025-08-05</subfield>
    <subfield code="y">BOOK</subfield>
    <subfield code="z">Donated by Prof. Sanjeev Agrawal</subfield>
  </datafield>
</record>
