<?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>00659nam a2200229Ia 4500</leader>
  <controlfield tag="005">20260429111921.0</controlfield>
  <controlfield tag="008">260429s9999||||xx |||||||||||||| ||und||</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9783031012983</subfield>
  </datafield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">English</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">511.3</subfield>
    <subfield code="b">ASH</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Ashlock, Daniel, Lee, Colin </subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2="0">
    <subfield code="a">Introduction to proofs with set theory / </subfield>
    <subfield code="c">Colin Lee Daniel Ashlock</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">1st ed.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Switzerland : </subfield>
    <subfield code="b">Springer,</subfield>
    <subfield code="c">2022.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xv, 233 p.; pbk</subfield>
  </datafield>
  <datafield tag="440" ind1=" " ind2=" ">
    <subfield code="a">Synthesis Lectures on Mathematics &amp; Statistics</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a"> Discrete mathematics</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a"> Logic</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a"> Set theory</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Mathematical proofs</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">TB</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">51421</subfield>
    <subfield code="d">51421</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">NFIC</subfield>
    <subfield code="a">CUTN</subfield>
    <subfield code="b">CUTN</subfield>
    <subfield code="c">500</subfield>
    <subfield code="d">2026-04-29</subfield>
    <subfield code="e">T R Publications, Chennai - Invoice No. TRPHO/2025/CRB/184 on 09-02-2026</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">511.3 ASH</subfield>
    <subfield code="p">56424</subfield>
    <subfield code="r">2026-04-29 11:19:21</subfield>
    <subfield code="w">2026-04-29</subfield>
    <subfield code="y">TB</subfield>
  </datafield>
</record>
