<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>01081nam a2200277 a 4500</leader>
  <controlfield tag="001">14137460</controlfield>
  <controlfield tag="008">110302r20092006enka     b    001 0 eng d</controlfield>
  <datafield tag="010" ind1=" " ind2=" ">
   <subfield code="a">  2005029447</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
   <subfield code="a">0521861241</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
   <subfield code="a">0521675995 (pbk.)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
   <subfield code="a">9780521861243</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
   <subfield code="a">9780521675994 (pbk.)</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
   <subfield code="a">DLC</subfield>
   <subfield code="c">DLC</subfield>
   <subfield code="d">YDX</subfield>
   <subfield code="d">BAKER</subfield>
   <subfield code="d">DLC</subfield>
   <subfield code="d">BD-DhAAL</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
   <subfield code="a">511.3</subfield>
   <subfield code="2">22</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
   <subfield code="a">Velleman, Daniel J.</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
   <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">Cambridge ; New York :</subfield>
   <subfield code="b">Cambridge University Press,</subfield>
   <subfield code="c">2006.[Reprinted 2009]</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
   <subfield code="a">xiii, 384 p. :</subfield>
   <subfield code="b">ill. ;</subfield>
   <subfield code="c">24 cm.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
   <subfield code="a">Includes bibliographical references (p. 375) and index.</subfield>
  </datafield>
  <datafield tag="541" ind1="1" ind2=" ">
   <subfield code="e">00022000</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
   <subfield code="a">Logic, Symbolic and mathematical.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
   <subfield code="a">Mathematics.</subfield>
  </datafield>
  <datafield tag="852" ind1="4" ind2=" ">
   <subfield code="a">Ayesha Abed Library</subfield>
   <subfield code="j">General shelf</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
   <subfield code="c">10494</subfield>
   <subfield code="d">10494</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
   <subfield code="0">0</subfield>
   <subfield code="1">2</subfield>
   <subfield code="2">ddc</subfield>
   <subfield code="4">0</subfield>
   <subfield code="6">511_300000000000000_VEL</subfield>
   <subfield code="7">0</subfield>
   <subfield code="9">14517</subfield>
   <subfield code="a">BRACUL</subfield>
   <subfield code="b">BRACUL</subfield>
   <subfield code="c">GEN</subfield>
   <subfield code="d">2011-03-02</subfield>
   <subfield code="e">Karim International</subfield>
   <subfield code="g">2200.00</subfield>
   <subfield code="l">3</subfield>
   <subfield code="m">43</subfield>
   <subfield code="o">511.3 VEL</subfield>
   <subfield code="p">3010022000</subfield>
   <subfield code="q">2017-03-27</subfield>
   <subfield code="r">2012-02-28</subfield>
   <subfield code="s">2012-02-28</subfield>
   <subfield code="t">1</subfield>
   <subfield code="w">2011-03-02</subfield>
   <subfield code="y">BK</subfield>
  </datafield>
 </record>
</collection>
