Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2019]
|
| Schriftenreihe: | Synthese library
Volume 407 |
| Schlagworte: | |
| Beschreibung: | xxviii, 494 Seiten |
| ISBN: | 9783030156541 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046304624 | ||
| 003 | DE-604 | ||
| 005 | 20231117 | ||
| 007 | t | ||
| 008 | 191216s2019 |||| 00||| eng d | ||
| 020 | |a 9783030156541 |c Festeinband |9 978-3-030-15654-1 | ||
| 035 | |a (OCoLC)1135396628 | ||
| 035 | |a (DE-599)BVBBV046304624 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-83 |a DE-188 | ||
| 082 | 0 | |a 510.1 |2 23 | |
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a 03-06 |2 msc | ||
| 084 | |a 03A05 |2 msc | ||
| 245 | 1 | 0 | |a Reflections on the foundations of mathematics |b univalent foundations, set theory and general thoughts |c Stefania Centrone, Deborah Kant, Deniz Sarikaya (editors) |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2019] | |
| 264 | 4 | |c © 2019 | |
| 300 | |a xxviii, 494 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v Volume 407 | |
| 650 | 4 | |a Philosophy of Mathematics | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Theoretical, Mathematical and Computational Physics | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematics—Philosophy | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Mathematical physics | |
| 650 | 0 | 7 | |a Computermathematik |0 (DE-588)4788218-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 2 | 1 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Computermathematik |0 (DE-588)4788218-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Centrone, Stefania |d 1975- |0 (DE-588)1024682536 |4 edt | |
| 700 | 1 | |a Kant, Deborah |4 edt | |
| 700 | 1 | |a Sarikaya, Deniz |0 (DE-588)1272702626 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-15655-8 |
| 830 | 0 | |a Synthese library |v Volume 407 |w (DE-604)BV000005044 |9 407 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031681868 | ||
Datensatz im Suchindex
| _version_ | 1804180776866021376 |
|---|---|
| any_adam_object | |
| author2 | Centrone, Stefania 1975- Kant, Deborah Sarikaya, Deniz |
| author2_role | edt edt edt |
| author2_variant | s c sc d k dk d s ds |
| author_GND | (DE-588)1024682536 (DE-588)1272702626 |
| author_facet | Centrone, Stefania 1975- Kant, Deborah Sarikaya, Deniz |
| building | Verbundindex |
| bvnumber | BV046304624 |
| classification_rvk | SG 700 |
| ctrlnum | (OCoLC)1135396628 (DE-599)BVBBV046304624 |
| dewey-full | 510.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.1 |
| dewey-search | 510.1 |
| dewey-sort | 3510.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02439nam a2200661zcb4500</leader><controlfield tag="001">BV046304624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231117 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">191216s2019 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030156541</subfield><subfield code="c">Festeinband</subfield><subfield code="9">978-3-030-15654-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1135396628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046304624</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 700</subfield><subfield code="0">(DE-625)143071:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03A05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reflections on the foundations of mathematics</subfield><subfield code="b">univalent foundations, set theory and general thoughts</subfield><subfield code="c">Stefania Centrone, Deborah Kant, Deniz Sarikaya (editors)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxviii, 494 Seiten</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">Volume 407</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretical, Mathematical and Computational Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics—Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical physics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><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="1"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Centrone, Stefania</subfield><subfield code="d">1975-</subfield><subfield code="0">(DE-588)1024682536</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kant, Deborah</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sarikaya, Deniz</subfield><subfield code="0">(DE-588)1272702626</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-15655-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">Volume 407</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">407</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031681868</subfield></datafield></record></collection> |
| id | DE-604.BV046304624 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:41:09Z |
| institution | BVB |
| isbn | 9783030156541 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031681868 |
| oclc_num | 1135396628 |
| open_access_boolean | |
| owner | DE-12 DE-83 DE-188 |
| owner_facet | DE-12 DE-83 DE-188 |
| physical | xxviii, 494 Seiten |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spelling | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts Stefania Centrone, Deborah Kant, Deniz Sarikaya (editors) Cham, Switzerland Springer [2019] © 2019 xxviii, 494 Seiten txt rdacontent n rdamedia nc rdacarrier Synthese library Volume 407 Philosophy of Mathematics Mathematics of Computing Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Mathematical Logic and Formal Languages Mathematics—Philosophy Computer science—Mathematics Mathematical logic Mathematical physics Computermathematik (DE-588)4788218-9 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s DE-604 Mathematische Logik (DE-588)4037951-6 s Mengenlehre (DE-588)4074715-3 s Computermathematik (DE-588)4788218-9 s Centrone, Stefania 1975- (DE-588)1024682536 edt Kant, Deborah edt Sarikaya, Deniz (DE-588)1272702626 edt Erscheint auch als Online-Ausgabe 978-3-030-15655-8 Synthese library Volume 407 (DE-604)BV000005044 407 |
| spellingShingle | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts Synthese library Philosophy of Mathematics Mathematics of Computing Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Mathematical Logic and Formal Languages Mathematics—Philosophy Computer science—Mathematics Mathematical logic Mathematical physics Computermathematik (DE-588)4788218-9 gnd Philosophie (DE-588)4045791-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4788218-9 (DE-588)4045791-6 (DE-588)4037951-6 (DE-588)4037944-9 (DE-588)4074715-3 |
| title | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts |
| title_auth | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts |
| title_exact_search | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts |
| title_full | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts Stefania Centrone, Deborah Kant, Deniz Sarikaya (editors) |
| title_fullStr | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts Stefania Centrone, Deborah Kant, Deniz Sarikaya (editors) |
| title_full_unstemmed | Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts Stefania Centrone, Deborah Kant, Deniz Sarikaya (editors) |
| title_short | Reflections on the foundations of mathematics |
| title_sort | reflections on the foundations of mathematics univalent foundations set theory and general thoughts |
| title_sub | univalent foundations, set theory and general thoughts |
| topic | Philosophy of Mathematics Mathematics of Computing Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Mathematical Logic and Formal Languages Mathematics—Philosophy Computer science—Mathematics Mathematical logic Mathematical physics Computermathematik (DE-588)4788218-9 gnd Philosophie (DE-588)4045791-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Philosophy of Mathematics Mathematics of Computing Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Mathematical Logic and Formal Languages Mathematics—Philosophy Computer science—Mathematics Mathematical logic Mathematical physics Computermathematik Philosophie Mathematische Logik Mathematik Mengenlehre |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT centronestefania reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts AT kantdeborah reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts AT sarikayadeniz reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts |