Detail
Raw data [ X ]
<section name="raw"> <SEQUENTIAL> <record key="001" att1="001" value="IHS101233607" att2="IHS101233607">001 IHS101233607</record> <field key="037" subkey="x">englisch</field> <field key="038" subkey="y">französisch</field> <field key="050" subkey="x">Buch</field> <field key="076" subkey="">Formalwissenschaft</field> <field key="100" subkey="">bourbaki, nicolas</field> <field key="331" subkey="">elements of mathematics; i</field> <field key="335" subkey="">theory of sets</field> <field key="341" subkey="">elements de mathematique, theorie des ensembles</field> <field key="403" subkey="">1., engl. ed.</field> <field key="410" subkey="">paris</field> <field key="412" subkey="">hermann, publishers in arts and science</field> <field key="415" subkey="">readings, massachusetts, menlo park, california, london</field> <field key="417" subkey="">addison-wesley publishing company</field> <field key="425" subkey="">1968</field> <field key="433" subkey="">viii, 414 pp.</field> <field key="451" subkey="">actualites scientifiques et industrielles hermann</field> <field key="451" subkey="h">lohwater, a.j. (ed.)</field> <field key="461" subkey="">adiwes international series in mathematics</field> <field key="517" subkey="c">from the table of contents: introduction; description of formal mathematics: terms and relations; theorems; logical theories;</field> <field key="qua" subkey="n">tified theories; equalitarian theories; appendix. characterization of terms and relations; theory of sets: collectivizing</field> <field key="rel" subkey="a">tions; ordered pairs; correspondences; union and intersection of a family of sets; product of a family of sets; equivalence</field> <field key="rel" subkey="a">tions; ordered sets, cardinals, integers: order relations. ordered sets; well-ordered sets; equipotent sets. cardinals;</field> <field key="nat" subkey="u">ral integers. finite sets; properties of integers; infinite sets; inverse limits and direct limits; structures: structures</field> <field key="and" subkey="">isomorphisms; morphisms and derived structures; universal mappings; summary of results;</field> <field key="544" subkey="">4459-A/I</field> </SEQUENTIAL> </section> Servertime: 0.408 sec | Clienttime:
sec
|