<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
  <record>
    <leader>00927cam a22002650| 4500</leader>
    <controlfield tag="001">calculioflambdac0000chur</controlfield>
    <controlfield tag="003">CaSfIA</controlfield>
    <controlfield tag="005">20260115071503.0</controlfield>
    <controlfield tag="006">m     o  d</controlfield>
    <controlfield tag="007">cr||||||||||||</controlfield>
    <controlfield tag="008">900210r19651941nyu     ob    00000 eng u</controlfield>
    <datafield tag="010" ind1=" " ind2=" ">
      <subfield code="z">41022039</subfield>
    </datafield>
    <datafield tag="035" ind1=" " ind2=" ">
      <subfield code="a">(OCoLC)1148205868</subfield>
    </datafield>
    <datafield tag="040" ind1=" " ind2=" ">
      <subfield code="a">OPET</subfield>
      <subfield code="b">eng</subfield>
      <subfield code="d">CaSfIA</subfield>
    </datafield>
    <datafield tag="046" ind1=" " ind2=" ">
      <subfield code="a">LC</subfield>
    </datafield>
    <datafield tag="050" ind1="0" ind2="4">
      <subfield code="a">QA331</subfield>
      <subfield code="b">.C52 1965</subfield>
    </datafield>
    <datafield tag="100" ind1="1" ind2=" ">
      <subfield code="a">Church, Alonzo,</subfield>
      <subfield code="d">1903-</subfield>
    </datafield>
    <datafield tag="245" ind1="1" ind2="4">
      <subfield code="a">The calculi of lambda-conversion /</subfield>
      <subfield code="c">by Alonzo Church ; Princeton, Princeton University Press; London, H. Milford, Oxford University Press, 1941.</subfield>
    </datafield>
    <datafield tag="260" ind1=" " ind2=" ">
      <subfield code="a">New York :</subfield>
      <subfield code="b">Kraus Reprint Corporation,</subfield>
      <subfield code="c">1965.</subfield>
    </datafield>
    <datafield tag="300" ind1=" " ind2=" ">
      <subfield code="a">1 online resource (ii, 82 pages)</subfield>
    </datafield>
    <datafield tag="490" ind1="1" ind2=" ">
      <subfield code="a">Annals of mathematics studies.</subfield>
      <subfield code="v">no. 6</subfield>
    </datafield>
    <datafield tag="500" ind1=" " ind2=" ">
      <subfield code="a">Reprinted with the permission of the original Publishers.</subfield>
    </datafield>
    <datafield tag="504" ind1=" " ind2=" ">
      <subfield code="a">Bibliography: p. 73-82.</subfield>
    </datafield>
    <datafield tag="650" ind1=" " ind2="0">
      <subfield code="a">Functions.</subfield>
    </datafield>
    <datafield tag="650" ind1=" " ind2="0">
      <subfield code="a">Logic, Symbolic and mathematical.</subfield>
    </datafield>
    <datafield tag="830" ind1=" " ind2="0">
      <subfield code="a">Annals of mathematics studies.</subfield>
      <subfield code="v">no. 6.</subfield>
    </datafield>
    <datafield tag="856" ind1="4" ind2="0">
      <subfield code="u">https://archive.org/details/calculioflambdac0000chur</subfield>
      <subfield code="z">Free eBook from the Internet Archive</subfield>
    </datafield>
    <datafield tag="856" ind1="4" ind2="0">
      <subfield code="u">https://openlibrary.org/books/OL32978097M</subfield>
      <subfield code="z">Additional information and access via Open Library</subfield>
    </datafield>
    <datafield tag="955" ind1=" " ind2=" ">
      <subfield code="q">calculioflambdac0000chur</subfield>
      <subfield code="b">ark:/13960/t7vn1vm38</subfield>
    </datafield>
  </record>
</collection>
