<?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>00525nam a2200193Ia 4500</leader>
  <controlfield tag="003">OSt</controlfield>
  <controlfield tag="005">20230314155112.0</controlfield>
  <controlfield tag="008">230222s9999||||xx |||||||||||||| ||und||</controlfield>
  <datafield tag="010" ind1=" " ind2=" ">
    <subfield code="a">BC 71 .K3 1964</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="c">Chuka University Library</subfield>
  </datafield>
  <datafield tag="050" ind1=" " ind2=" ">
    <subfield code="a">BC 71 </subfield>
    <subfield code="b">.K3 1964</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">KALISH DONALD</subfield>
    <subfield code="9">5241</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2="0">
    <subfield code="a">Logic Techniques of Formal Reasoning/</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New York</subfield>
    <subfield code="b">HARCOURT BRACE &amp; WORLD IN</subfield>
    <subfield code="c">1964</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">P350</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Logic</subfield>
    <subfield code="9">8650</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Symbolic and Mathematical</subfield>
    <subfield code="9">8738</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BK</subfield>
    <subfield code="2">lcc</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">LGL</subfield>
    <subfield code="a">CHK</subfield>
    <subfield code="b">CHK</subfield>
    <subfield code="c">GEN</subfield>
    <subfield code="d">2023-02-22</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">BC 71 .K3</subfield>
    <subfield code="p">1630/2007</subfield>
    <subfield code="r">2023-02-22 00:00:00</subfield>
    <subfield code="w">2023-02-22</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">9540</subfield>
    <subfield code="d">9540</subfield>
  </datafield>
</record>
