<marcxml:record xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:marcxml="http://www.loc.gov/MARC21/slim" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:madsrdf="http://www.loc.gov/mads/rdf/v1#" xmlns:ri="http://id.loc.gov/ontologies/RecordInfo#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:mets="http://www.loc.gov/METS/">
	    <marcxml:leader>00657cz   2200217n  4500</marcxml:leader>
	    <marcxml:controlfield tag="001">sh85055601</marcxml:controlfield>
	    <marcxml:controlfield tag="003">DLC</marcxml:controlfield>
	    <marcxml:controlfield tag="005">19971118113233.5</marcxml:controlfield>
	    <marcxml:controlfield tag="008">860211|| anannbab|          |b ana |||  </marcxml:controlfield>
	    <marcxml:datafield tag="010" ind1=" " ind2=" ">
      <marcxml:subfield code="a">sh 85055601 </marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="040" ind1=" " ind2=" ">
      <marcxml:subfield code="a">DLC</marcxml:subfield>
      <marcxml:subfield code="c">DLC</marcxml:subfield>
      <marcxml:subfield code="d">DLC</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="150" ind1=" " ind2="0">
      <marcxml:subfield code="a">Gödel's theorem</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="450" ind1=" " ind2="0">
      <marcxml:subfield code="a">Gödel's incompleteness theorem</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="450" ind1=" " ind2="0">
      <marcxml:subfield code="a">Undecidable theories</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="550" ind1=" " ind2="0">
      <marcxml:subfield code="w">g</marcxml:subfield>
      <marcxml:subfield code="a">Arithmetic</marcxml:subfield>
      <marcxml:subfield code="x">Foundations</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="550" ind1=" " ind2="0">
      <marcxml:subfield code="w">g</marcxml:subfield>
      <marcxml:subfield code="a">Completeness theorem</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="550" ind1=" " ind2="0">
      <marcxml:subfield code="w">g</marcxml:subfield>
      <marcxml:subfield code="a">Incompleteness theorems</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="550" ind1=" " ind2="0">
      <marcxml:subfield code="w">g</marcxml:subfield>
      <marcxml:subfield code="a">Logic, Symbolic and mathematical</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="550" ind1=" " ind2="0">
      <marcxml:subfield code="w">g</marcxml:subfield>
      <marcxml:subfield code="a">Number theory</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="550" ind1=" " ind2="0">
      <marcxml:subfield code="a">Decidability (Mathematical logic)</marcxml:subfield>
    </marcxml:datafield>
	    <marcxml:datafield tag="670" ind1=" " ind2=" ">
      <marcxml:subfield code="a">Random House dict.</marcxml:subfield>
      <marcxml:subfield code="b">(Gödel's incompleteness theorem)</marcxml:subfield>
    </marcxml:datafield>
	  </marcxml:record>