Logic and foundations of mathematics: selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Kluwer
1999
|
| Schriftenreihe: | Synthese library
280 |
| Schlagworte: | |
| Beschreibung: | 240 S. |
| ISBN: | 0792356594 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012853026 | ||
| 003 | DE-604 | ||
| 005 | 19991207 | ||
| 007 | t | ||
| 008 | 991110s1999 j |||| 10||| eng d | ||
| 020 | |a 0792356594 |9 0-7923-5659-4 | ||
| 035 | |a (OCoLC)237355624 | ||
| 035 | |a (DE-599)BVBBV012853026 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-12 |a DE-188 |a DE-11 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 245 | 1 | 0 | |a Logic and foundations of mathematics |b selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 |c ed. by Andrea Cantini ... |
| 264 | 1 | |a Dordrecht |b Kluwer |c 1999 | |
| 300 | |a 240 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v 280 | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftstheorie |0 (DE-588)4117665-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Florenz |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Wissenschaftstheorie |0 (DE-588)4117665-0 |D s |
| 689 | 1 | |5 DE-188 | |
| 689 | 2 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 2 | |5 DE-188 | |
| 700 | 1 | |a Cantini, Andrea |e Sonstige |4 oth | |
| 711 | 2 | |a International Congress of Logic, Methodology and Philosophy of Science |n 10 |d 1995 |c Florenz |j Sonstige |0 (DE-588)5204208-X |4 oth | |
| 830 | 0 | |a Synthese library |v 280 |w (DE-604)BV000005044 |9 280 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008745036 | ||
Datensatz im Suchindex
| _version_ | 1804127531718148097 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV012853026 |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)237355624 (DE-599)BVBBV012853026 |
| discipline | Philosophie |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01860nam a2200469 cb4500</leader><controlfield tag="001">BV012853026</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19991207 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991110s1999 j |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792356594</subfield><subfield code="9">0-7923-5659-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)237355624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012853026</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and foundations of mathematics</subfield><subfield code="b">selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995</subfield><subfield code="c">ed. by Andrea Cantini ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">240 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthese library</subfield><subfield code="v">280</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftstheorie</subfield><subfield code="0">(DE-588)4117665-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Florenz</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Wissenschaftstheorie</subfield><subfield code="0">(DE-588)4117665-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cantini, Andrea</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Congress of Logic, Methodology and Philosophy of Science</subfield><subfield code="n">10</subfield><subfield code="d">1995</subfield><subfield code="c">Florenz</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5204208-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">280</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">280</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008745036</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Florenz gnd-content |
| genre_facet | Konferenzschrift 1995 Florenz |
| id | DE-604.BV012853026 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:34:50Z |
| institution | BVB |
| institution_GND | (DE-588)5204208-X |
| isbn | 0792356594 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008745036 |
| oclc_num | 237355624 |
| open_access_boolean | |
| owner | DE-739 DE-12 DE-188 DE-11 |
| owner_facet | DE-739 DE-12 DE-188 DE-11 |
| physical | 240 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Kluwer |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spelling | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 ed. by Andrea Cantini ... Dordrecht Kluwer 1999 240 S. txt rdacontent n rdamedia nc rdacarrier Synthese library 280 Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Wissenschaftstheorie (DE-588)4117665-0 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Florenz gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s Wissenschaftstheorie (DE-588)4117665-0 s DE-188 Mathematik (DE-588)4037944-9 s Cantini, Andrea Sonstige oth International Congress of Logic, Methodology and Philosophy of Science 10 1995 Florenz Sonstige (DE-588)5204208-X oth Synthese library 280 (DE-604)BV000005044 280 |
| spellingShingle | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 Synthese library Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Wissenschaftstheorie (DE-588)4117665-0 gnd Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4117665-0 (DE-588)4037944-9 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 |
| title_auth | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 |
| title_exact_search | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 |
| title_full | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 ed. by Andrea Cantini ... |
| title_fullStr | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 ed. by Andrea Cantini ... |
| title_full_unstemmed | Logic and foundations of mathematics selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 ed. by Andrea Cantini ... |
| title_short | Logic and foundations of mathematics |
| title_sort | logic and foundations of mathematics selected contributed papers of the tenth international congress of logic methodology and philosophy of science florence august 1995 |
| title_sub | selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 |
| topic | Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Wissenschaftstheorie (DE-588)4117665-0 gnd Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic, Symbolic and mathematical Congresses Mathematische Logik Wissenschaftstheorie Mathematik Logik Konferenzschrift 1995 Florenz |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT cantiniandrea logicandfoundationsofmathematicsselectedcontributedpapersofthetenthinternationalcongressoflogicmethodologyandphilosophyofscienceflorenceaugust1995 AT internationalcongressoflogicmethodologyandphilosophyofscienceflorenz logicandfoundationsofmathematicsselectedcontributedpapersofthetenthinternationalcongressoflogicmethodologyandphilosophyofscienceflorenceaugust1995 |