<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>How to Prove It</title>
    <subTitle>: A Structured Approach</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Velleman, Daniel J.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <genre authority="">Mathematics </genre>
  <genre authority="">Logic, Symbolic and mathematical.</genre>
  <genre authority="">Matematiksel </genre>
  <genre authority="">Quantificational Logic </genre>
  <genre authority="">Mathematical Induction </genre>
  <genre authority="">Daniel J Velleman</genre>
  <genre authority="">and How to prove it : a structured approach</genre>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">xxu</placeTerm>
    </place>
    <place>
      <placeTerm type="text">New York</placeTerm>
    </place>
    <publisher>: Cambridge University Press</publisher>
    <dateIssued>2006</dateIssued>
    <edition>2nd ed. </edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>xiii, 384p.  24cm. </extent>
  </physicalDescription>
  <note type="statement of responsibility">/ Daniel J Velleman</note>
  <classification authority="ddc">511.3 VEL</classification>
  <identifier type="isbn">9780521675994</identifier>
  <identifier type="">:S R Book Distributors  :12, Satyam Enclave Tejab Mill Compound New Kot  Gaon G T Road Ghaziabad </identifier>
  <identifier type="">:Brijwasi Book Distributors  :H-87, Lalita park Laxmi Nagar Delhi 110092</identifier>
  <identifier type="">Donated by Prof. Sanjeev Agrawal</identifier>
  <recordInfo>
    <recordCreationDate encoding="marc">151112</recordCreationDate>
    <recordChangeDate encoding="iso8601">20250805094749.0</recordChangeDate>
  </recordInfo>
</mods>
