<?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>01009cam a2200301 i 4500</leader>
  <controlfield tag="001">3701723</controlfield>
  <controlfield tag="003">OSt</controlfield>
  <controlfield tag="005">20210924155648.0</controlfield>
  <controlfield tag="008">800630s1980    nyu      b    001 0 eng  </controlfield>
  <datafield tag="010" ind1=" " ind2=" ">
    <subfield code="a">   79091650 </subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0155511815</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">DLC</subfield>
    <subfield code="c">HU</subfield>
    <subfield code="d">DLC</subfield>
  </datafield>
  <datafield tag="050" ind1="0" ind2="0">
    <subfield code="a">BC135</subfield>
    <subfield code="b">.K18 1980</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
    <subfield code="a">511.3</subfield>
    <subfield code="2">19</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Kalish, Donald.</subfield>
    <subfield code="9">7315</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">Logic :</subfield>
    <subfield code="b">techniques of formal reasoning /</subfield>
    <subfield code="c">Donald Kalish, Richard Montague, Gary Mar ; under the general editorship of Robert J. Fogelin.</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">2d ed.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New York :</subfield>
    <subfield code="b">Harcourt Brace Jovanovich,</subfield>
    <subfield code="c">c1980.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xvi, 520 p. ;</subfield>
    <subfield code="c">25 cm.</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">Includes indexes.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Bibliography: p. [509]-514.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Logic, Symbolic and mathematical.</subfield>
    <subfield code="9">7316</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Montague, Richard,</subfield>
    <subfield code="d">1930-1971,</subfield>
    <subfield code="e">joint author.</subfield>
    <subfield code="9">7317</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Mar, Gary,</subfield>
    <subfield code="e">joint author.</subfield>
    <subfield code="9">7318</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Fogelin, Robert J.</subfield>
    <subfield code="9">7319</subfield>
  </datafield>
  <datafield tag="906" ind1=" " ind2=" ">
    <subfield code="a">7</subfield>
    <subfield code="b">cbc</subfield>
    <subfield code="c">orignew</subfield>
    <subfield code="d">u</subfield>
    <subfield code="e">opcn</subfield>
    <subfield code="f">19</subfield>
    <subfield code="g">y-gencatlg</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">BOOKS</subfield>
    <subfield code="n">0</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">6915</subfield>
    <subfield code="d">6915</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">008</subfield>
    <subfield code="b">008</subfield>
    <subfield code="c">FIC</subfield>
    <subfield code="d">2021-09-24</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">160/KAL</subfield>
    <subfield code="p">SHLIB 00009890</subfield>
    <subfield code="r">2021-09-24 00:00:00</subfield>
    <subfield code="t">1</subfield>
    <subfield code="w">2021-09-24</subfield>
    <subfield code="y">BOOKS</subfield>
  </datafield>
</record>
