<section name="raw">
    <SEQUENTIAL>
      <record key="001" att1="001" value="IHS100205008" att2="IHS100205008">001   IHS100205008</record>
      <field key="037" subkey="x">englisch</field>
      <field key="050" subkey="x">Buch</field>
      <field key="076" subkey="">Formalwissenschaft</field>
      <field key="100" subkey="">bernays, paul</field>
      <field key="103" subkey="">professor of mathematics, eidgenoessiche technische hochschule, zuerich</field>
      <field key="104" subkey="b">fraenkel, abraham a. (pr.)</field>
      <field key="331" subkey="">axiomatic set theory</field>
      <field key="403" subkey="">1. ed.</field>
      <field key="410" subkey="">amsterdam</field>
      <field key="412" subkey="">north-holland publishing company</field>
      <field key="425" subkey="">1958</field>
      <field key="433" subkey="">viii, 226 pp.</field>
      <field key="451" subkey="">studies in logic and the foundations of mathematics</field>
      <field key="451" subkey="h">brouwer, l.e.j. (ed.) ; beth, e.w. (ed.) ; heyting, a. (ed.)</field>
      <field key="517" subkey="c">from the table of contents: historical introduction, by a.a. fraenkel: introductory remarks; zermelo's system. equality and</field>
      <field key="ext" subkey="e">nsionality; "constructive" axioms of "general" set theory; the axiom of choise; axioms of infinity and of restriction;</field>
      <field key="dev" subkey="e">lopment of set-theory from the axioms of z; remarks on the axiom systems of von neumann, bernays, goedel; axiomatic set</field>
      <field key="the" subkey="o">ry, by p. bernays: the frame of logic and class theory; the start of general set theory; ordinals. natural numbers. finite</field>
      <field key="set" subkey="s">; transfinite recursion; power. order. wellorder; the completing axioms; analysis. cardinal arithmetic. abstract theories;</field>
      <field key="fur" subkey="t">her strengthening of the axiom system; indixes; bibliography;</field>
      <field key="544" subkey="">872-A</field>
      <field key="700" subkey="b">511</field>
      <field key="700" subkey="b">general principles of mathematics</field>
      <field key="710" subkey="">axiomatic set theory</field>
    </SEQUENTIAL>
  </section>