Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2019
Cham Springer |
| Ausgabe: | 1st ed. 2019 |
| Schriftenreihe: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
407 |
| Schlagworte: | |
| Online-Zugang: | UBT01 Volltext Buchcover |
| Beschreibung: | 1 Online-Ressource (XXVIII, 494 p. 24 illus) |
| ISBN: | 9783030156558 |
| DOI: | 10.1007/978-3-030-15655-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046283824 | ||
| 003 | DE-604 | ||
| 005 | 20231009 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 191204s2019 |||| o||u| ||||||eng d | ||
| 020 | |a 9783030156558 |c Online |9 978-3-030-15655-8 | ||
| 024 | 7 | |a 10.1007/978-3-030-15655-8 |2 doi | |
| 035 | |a (ZDB-2-REP)9783030156558 | ||
| 035 | |a (OCoLC)1130272574 | ||
| 035 | |a (DE-599)BVBBV046283824 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 082 | 0 | |a 510.1 |2 23 | |
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 245 | 1 | 0 | |a Reflections on the Foundations of Mathematics |b Univalent Foundations, Set Theory and General Thoughts |c edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya |
| 250 | |a 1st ed. 2019 | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2019 | |
| 264 | 1 | |a Cham |b Springer | |
| 300 | |a 1 Online-Ressource (XXVIII, 494 p. 24 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |v 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 Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computermathematik |0 (DE-588)4788218-9 |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 Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Computermathematik |0 (DE-588)4788218-9 |D s |
| 689 | 3 | |8 4\p |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 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-15654-1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-15656-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-15657-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-15655-8 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031661404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Buchcover |
| 912 | |a ZDB-2-REP | ||
| 940 | 1 | |q ZDB-2-REP_2019_Fremddaten | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031661404 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-15655-8 |l UBT01 |p ZDB-2-REP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180737393426432 |
|---|---|
| any_adam_object | 1 |
| 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 |
| author_facet | Centrone, Stefania 1975- Kant, Deborah Sarikaya, Deniz |
| building | Verbundindex |
| bvnumber | BV046283824 |
| classification_rvk | SG 700 |
| collection | ZDB-2-REP |
| ctrlnum | (ZDB-2-REP)9783030156558 (OCoLC)1130272574 (DE-599)BVBBV046283824 |
| 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 |
| doi_str_mv | 10.1007/978-3-030-15655-8 |
| edition | 1st ed. 2019 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03519nmm a2200793zcb4500</leader><controlfield tag="001">BV046283824</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231009 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">191204s2019 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030156558</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-15655-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-15655-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-REP)9783030156558</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1130272574</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046283824</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-703</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="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">edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2019</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2019</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXVIII, 494 p. 24 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science</subfield><subfield code="v">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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">3\p</subfield><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="8">4\p</subfield><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="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-15654-1</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-15656-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-15657-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-15655-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031661404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Buchcover</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-REP</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-REP_2019_Fremddaten</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031661404</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-15655-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-REP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046283824 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:40:31Z |
| institution | BVB |
| isbn | 9783030156558 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031661404 |
| oclc_num | 1130272574 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | 1 Online-Ressource (XXVIII, 494 p. 24 illus) |
| psigel | ZDB-2-REP ZDB-2-REP_2019_Fremddaten |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer International Publishing Springer |
| record_format | marc |
| series2 | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| spelling | Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya 1st ed. 2019 Cham Springer International Publishing 2019 Cham Springer 1 Online-Ressource (XXVIII, 494 p. 24 illus) txt rdacontent c rdamedia cr rdacarrier Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 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 Mengenlehre (DE-588)4074715-3 gnd rswk-swf Computermathematik (DE-588)4788218-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 s Mengenlehre (DE-588)4074715-3 s 1\p DE-604 Philosophie (DE-588)4045791-6 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 Computermathematik (DE-588)4788218-9 s 4\p DE-604 Centrone, Stefania 1975- (DE-588)1024682536 edt Kant, Deborah edt Sarikaya, Deniz edt Erscheint auch als Druck-Ausgabe 978-3-030-15654-1 Erscheint auch als Druck-Ausgabe 978-3-030-15656-5 Erscheint auch als Druck-Ausgabe 978-3-030-15657-2 https://doi.org/10.1007/978-3-030-15655-8 Verlag URL des Erstveröffentlichers Volltext SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031661404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Buchcover 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts 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 Mengenlehre (DE-588)4074715-3 gnd Computermathematik (DE-588)4788218-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Philosophie (DE-588)4045791-6 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4788218-9 (DE-588)4037951-6 (DE-588)4037944-9 (DE-588)4045791-6 |
| 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 edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya |
| title_fullStr | Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya |
| title_full_unstemmed | Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya |
| 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 Mengenlehre (DE-588)4074715-3 gnd Computermathematik (DE-588)4788218-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Philosophie (DE-588)4045791-6 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 Mengenlehre Computermathematik Mathematische Logik Mathematik Philosophie |
| url | https://doi.org/10.1007/978-3-030-15655-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031661404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT centronestefania reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts AT kantdeborah reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts AT sarikayadeniz reflectionsonthefoundationsofmathematicsunivalentfoundationssettheoryandgeneralthoughts |