Constructibility and mathematical existence:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Oxford
Clarendon Press
c1990
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references (p. [273]-278) and index Concerned with the problem of existence in mathematics, this volume develops a mathematical system in which there are no existence assertions but only assertions of constructibility. It explores the philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher |
| Physical Description: | 1 Online-Ressource (xv, 282 p.) |
| ISBN: | 0191520004 0198248172 9780191520006 9780198248170 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043165230 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1990 |||| o||u| ||||||eng d | ||
| 020 | |a 0191520004 |c electronic bk. |9 0-19-152000-4 | ||
| 020 | |a 0198248172 |9 0-19-824817-2 | ||
| 020 | |a 9780191520006 |c electronic bk. |9 978-0-19-152000-6 | ||
| 020 | |a 9780198248170 |9 978-0-19-824817-0 | ||
| 035 | |a (OCoLC)340722421 | ||
| 035 | |a (DE-599)BVBBV043165230 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Chihara, Charles S. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Constructibility and mathematical existence |c Charles S. Chihara |
| 264 | 1 | |a Oxford |b Clarendon Press |c c1990 | |
| 300 | |a 1 Online-Ressource (xv, 282 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 | ||
| 500 | |a Includes bibliographical references (p. [273]-278) and index | ||
| 500 | |a Concerned with the problem of existence in mathematics, this volume develops a mathematical system in which there are no existence assertions but only assertions of constructibility. It explores the philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher | ||
| 650 | 4 | |a Mathématiques / Philosophie | |
| 650 | 4 | |a Mathématiques constructives | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Constructieve wiskunde |2 gtt | |
| 650 | 7 | |a Filosofie |2 gtt | |
| 650 | 7 | |a Ontologie (filosofie) |2 gtt | |
| 650 | 7 | |a Filosofia da matemática |2 larpcal | |
| 650 | 7 | |a Matemática construtiva |2 larpcal | |
| 650 | 7 | |a Lógica matemática |2 larpcal | |
| 650 | 7 | |a Constructive mathematics |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics / Philosophy |2 fast | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |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 Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Konstruierbarkeit |g Mathematik |0 (DE-588)4165094-3 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-0-19-823975-8 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028589420 | ||
| 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 | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175639498981376 |
|---|---|
| any_adam_object | |
| author | Chihara, Charles S. |
| author_facet | Chihara, Charles S. |
| author_role | aut |
| author_sort | Chihara, Charles S. |
| author_variant | c s c cs csc |
| building | Verbundindex |
| bvnumber | BV043165230 |
| classification_rvk | CC 2600 SG 700 SK 130 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)340722421 (DE-599)BVBBV043165230 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03904nmm a2200829zc 4500</leader><controlfield tag="001">BV043165230</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1990 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0191520004</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-19-152000-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198248172</subfield><subfield code="9">0-19-824817-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191520006</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-19-152000-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198248170</subfield><subfield code="9">978-0-19-824817-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)340722421</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043165230</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</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="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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chihara, Charles S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constructibility and mathematical existence</subfield><subfield code="c">Charles S. Chihara</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">c1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 282 p.)</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="500" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [273]-278) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Concerned with the problem of existence in mathematics, this volume develops a mathematical system in which there are no existence assertions but only assertions of constructibility. It explores the philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques / Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constructieve wiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Filosofie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ontologie (filosofie)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Filosofia da matemática</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Matemática construtiva</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constructive mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics / Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</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">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</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">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</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">Konstruierbarkeit</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4165094-3</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-0-19-823975-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028589420</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="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043165230 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:19:29Z |
| institution | BVB |
| isbn | 0191520004 0198248172 9780191520006 9780198248170 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028589420 |
| oclc_num | 340722421 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xv, 282 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Clarendon Press |
| record_format | marc |
| spelling | Chihara, Charles S. Verfasser aut Constructibility and mathematical existence Charles S. Chihara Oxford Clarendon Press c1990 1 Online-Ressource (xv, 282 p.) txt rdacontent c rdamedia cr rdacarrier Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references (p. [273]-278) and index Concerned with the problem of existence in mathematics, this volume develops a mathematical system in which there are no existence assertions but only assertions of constructibility. It explores the philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher Mathématiques / Philosophie Mathématiques constructives Logique symbolique et mathématique MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Constructieve wiskunde gtt Filosofie gtt Ontologie (filosofie) gtt Filosofia da matemática larpcal Matemática construtiva larpcal Lógica matemática larpcal Constructive mathematics fast Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Mathematik Philosophie Mathematics Philosophy Constructive mathematics Logic, Symbolic and mathematical Konstruktive Mathematik (DE-588)4165105-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s 1\p DE-604 Konstruktive Mathematik (DE-588)4165105-4 s 2\p DE-604 Konstruierbarkeit Mathematik (DE-588)4165094-3 s 3\p DE-604 Erscheint auch als Druck-Ausgabe, Paperback 978-0-19-823975-8 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478 Aggregator Volltext 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 |
| spellingShingle | Chihara, Charles S. Constructibility and mathematical existence Mathématiques / Philosophie Mathématiques constructives Logique symbolique et mathématique MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Constructieve wiskunde gtt Filosofie gtt Ontologie (filosofie) gtt Filosofia da matemática larpcal Matemática construtiva larpcal Lógica matemática larpcal Constructive mathematics fast Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Mathematik Philosophie Mathematics Philosophy Constructive mathematics Logic, Symbolic and mathematical Konstruktive Mathematik (DE-588)4165105-4 gnd Mathematik (DE-588)4037944-9 gnd Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd Philosophie (DE-588)4045791-6 gnd |
| subject_GND | (DE-588)4165105-4 (DE-588)4037944-9 (DE-588)4165094-3 (DE-588)4045791-6 |
| title | Constructibility and mathematical existence |
| title_auth | Constructibility and mathematical existence |
| title_exact_search | Constructibility and mathematical existence |
| title_full | Constructibility and mathematical existence Charles S. Chihara |
| title_fullStr | Constructibility and mathematical existence Charles S. Chihara |
| title_full_unstemmed | Constructibility and mathematical existence Charles S. Chihara |
| title_short | Constructibility and mathematical existence |
| title_sort | constructibility and mathematical existence |
| topic | Mathématiques / Philosophie Mathématiques constructives Logique symbolique et mathématique MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Constructieve wiskunde gtt Filosofie gtt Ontologie (filosofie) gtt Filosofia da matemática larpcal Matemática construtiva larpcal Lógica matemática larpcal Constructive mathematics fast Logic, Symbolic and mathematical fast Mathematics / Philosophy fast Mathematik Philosophie Mathematics Philosophy Constructive mathematics Logic, Symbolic and mathematical Konstruktive Mathematik (DE-588)4165105-4 gnd Mathematik (DE-588)4037944-9 gnd Konstruierbarkeit Mathematik (DE-588)4165094-3 gnd Philosophie (DE-588)4045791-6 gnd |
| topic_facet | Mathématiques / Philosophie Mathématiques constructives Logique symbolique et mathématique MATHEMATICS / Infinity MATHEMATICS / Logic Constructieve wiskunde Filosofie Ontologie (filosofie) Filosofia da matemática Matemática construtiva Lógica matemática Constructive mathematics Logic, Symbolic and mathematical Mathematics / Philosophy Mathematik Philosophie Mathematics Philosophy Konstruktive Mathematik Konstruierbarkeit Mathematik |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=273478 |
| work_keys_str_mv | AT chiharacharless constructibilityandmathematicalexistence |