One hundred years of intuitionism: (1907-2007) ; the Cerisy Conference
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Basel [u.a.]
Birkhäuser
2008
|
Schriftenreihe: | Publications des Archives Henri-Poincaré
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Bibliographie L. E. J. Brouwer S. 343-389. - Literaturverz. S. 390-416 |
Beschreibung: | XIII, 422 S. Ill. |
ISBN: | 9783764386528 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV035091049 | ||
003 | DE-604 | ||
005 | 20090609 | ||
007 | t | ||
008 | 081009s2008 a||| |||| 00||| eng d | ||
020 | |a 9783764386528 |9 978-3-7643-8652-8 | ||
035 | |a (OCoLC)181328068 | ||
035 | |a (DE-599)BVBBV035091049 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-19 |a DE-29 |a DE-12 | ||
050 | 0 | |a QA9.47 | |
082 | 0 | |a 511.3/6 |2 22 | |
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
245 | 1 | 0 | |a One hundred years of intuitionism |b (1907-2007) ; the Cerisy Conference |c Mark van Atten ... (ed.) |
246 | 1 | 3 | |a 100 years of intuitionism |
264 | 1 | |a Basel [u.a.] |b Birkhäuser |c 2008 | |
300 | |a XIII, 422 S. |b Ill. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Publications des Archives Henri-Poincaré | |
500 | |a Bibliographie L. E. J. Brouwer S. 343-389. - Literaturverz. S. 390-416 | ||
600 | 1 | 4 | |a Brouwer, L. E. J <1881-1966> |q (Luitzen Egbertus Jan) |
600 | 1 | 7 | |a Brouwer, Luitzen E. J. |d 1881-1966 |0 (DE-588)118988131 |2 gnd |9 rswk-swf |
648 | 7 | |a Geschichte 1907-2007 |2 gnd |9 rswk-swf | |
650 | 4 | |a Mathematik | |
650 | 4 | |a Philosophie | |
650 | 4 | |a Intuitionistic mathematics | |
650 | 4 | |a Mathematics |x Philosophy | |
650 | 0 | 7 | |a Intuitionismus |0 (DE-588)4162197-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4006432-3 |a Bibliografie |2 gnd-content | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Cerisy |2 gnd-content | |
689 | 0 | 0 | |a Intuitionismus |0 (DE-588)4162197-9 |D s |
689 | 0 | 1 | |a Geschichte 1907-2007 |A z |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Brouwer, Luitzen E. J. |d 1881-1966 |0 (DE-588)118988131 |D p |
689 | 1 | 1 | |a Intuitionismus |0 (DE-588)4162197-9 |D s |
689 | 1 | 2 | |a Geschichte 1907-2007 |A z |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Intuitionismus |0 (DE-588)4162197-9 |D s |
689 | 2 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
689 | 2 | 2 | |a Geschichte 1907-2007 |A z |
689 | 2 | |5 DE-604 | |
689 | 3 | 0 | |a Brouwer, Luitzen E. J. |d 1881-1966 |0 (DE-588)118988131 |D p |
689 | 3 | |5 DE-604 | |
700 | 1 | |a Atten, Mark van |e Sonstige |4 oth | |
856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016759162&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-016759162 |
Datensatz im Suchindex
_version_ | 1804138048002195456 |
---|---|
adam_text | CONTENTS CONTRIBUTORS. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .. X PREFACE XII PART I
BROUWER AND BROUWERIAN INTUITIONISM ANOTHER LOOK AT BROUWER S
DISSERTATION DIRK VAN DALEN . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 BROUWERIAN
INFINITY GARL POSY . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . .. 21 THE NEW
INTUITIONISM GHARLES MEGARTY 37 TRUTH AND EXPERIENCE OF TRUTH JAEQUES
DUBUES 50 THE PROPER EXPLANATION OF INTUITIONISTIC LOGIC: ON BROUWER S
DEMONSTRATION OF THE BAR THEOREM GOERAN SUNDHOLM AND MARK VAN ATTEN 60
THE INTERSEETION OF INTUITIONISM (BROUWER) AND PHENOMENOLOGY (BUSSERL)
RIEHARD TIESZEN 78 BROUWER ON HYPOTHESES AND THE MIDDLE WITTGENSTEIN
MATHIEU MARION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .. 96 BROUWER S NOTION OF INTUITION
AND THEORY OF KNOWLEDGE BY PRESENCE MOHAMMAD ARDESHIR 115 VIII CONTENTS
BUDDHIST MODELS OF THE MIND AND THE COMMON CORE THESIS ON MYSTICISM HENK
BARENDREGT 131 PART II KINDRED SPIRITS REMARKS ON THE SUPPOSED FRENCH
SEMI- OR PRE-INTUITIONISM ALAIN MICHEL 149 POINCARE: INTUITIONISM,
INTUITION, AND CONVENTION GERHARD HEINZMANN AND PHILIPPE NABONNAND 163
SOME OF JULIUS KOENIG S MATHEMATICAL DREAMS IN HIS NEW FOUNDATIONS 0/
LOGIC, ARITHMETIC, AND SET THEORY MARCEL GUILLAUME 178 GOEDEL,
CONSTRUCTIVITY, IMPREDICATIVITY, AND FEASIBILITY JEAN FICHOT 198
LORENZEN S OPERATIVE JUSTIFICATION OF INTUITIONISTIC LOGIC PETER
SCHROEDER-HEISTER 214 PART III MATHEMATICAL PERSPECTIVES THE
HILBERT-BROUWER CONTROVERSY RESOLVED? PER MARIIN-LOEF 243 PROOF THEORY
AND MARTIN-LOEF TYPE THEORY ANTON SETZER 257 SOME REMARKS ON LINEAR LOGIC
MITSUHIRO OKADA 280 TWO APPLICATIONS OF DYNAMIC CONSTRUCTIVISM:
BROUWER S CONTINUITY PRINCIPLE AND CHOICE SEQUENCES IN FORMAL TOPOLOGY
GIOVANNI SAM BIN 301 A REVERSE LOOK AT BROUWER S FAN THEOREM DOUGLAS
BRIDGES 316 SOME APPLICATIONS OF BROUWER S THESIS ON BARS WIM VELDMAN
326 CONCLUDING REMARKS AT THE CERISY CONFERENCE MICHAEL DUMMETT , 341
CONTENTS IX A BIBLIOGRAPHY OF L.E.J. BROUWER DIRK VAN DALEN 343
REFERENCES 391 INDEX OF CITATIONS 417
|
adam_txt |
CONTENTS CONTRIBUTORS. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . X PREFACE XII PART I
BROUWER AND BROUWERIAN INTUITIONISM ANOTHER LOOK AT BROUWER'S
DISSERTATION DIRK VAN DALEN . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 BROUWERIAN
INFINITY GARL POSY . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 21 THE NEW
INTUITIONISM GHARLES MEGARTY 37 TRUTH AND EXPERIENCE OF TRUTH JAEQUES
DUBUES 50 THE PROPER EXPLANATION OF INTUITIONISTIC LOGIC: ON BROUWER'S
DEMONSTRATION OF THE BAR THEOREM GOERAN SUNDHOLM AND MARK VAN ATTEN 60
THE INTERSEETION OF INTUITIONISM (BROUWER) AND PHENOMENOLOGY (BUSSERL)
RIEHARD TIESZEN 78 BROUWER ON 'HYPOTHESES' AND THE MIDDLE WITTGENSTEIN
MATHIEU MARION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 96 BROUWER'S NOTION OF INTUITION
AND THEORY OF KNOWLEDGE BY PRESENCE MOHAMMAD ARDESHIR 115 VIII CONTENTS
BUDDHIST MODELS OF THE MIND AND THE COMMON CORE THESIS ON MYSTICISM HENK
BARENDREGT 131 PART II KINDRED SPIRITS REMARKS ON THE SUPPOSED FRENCH
'SEMI-' OR 'PRE-INTUITIONISM' ALAIN MICHEL 149 POINCARE: INTUITIONISM,
INTUITION, AND CONVENTION GERHARD HEINZMANN AND PHILIPPE NABONNAND 163
SOME OF JULIUS KOENIG'S MATHEMATICAL DREAMS IN HIS NEW FOUNDATIONS 0/
LOGIC, ARITHMETIC, AND SET THEORY MARCEL GUILLAUME 178 GOEDEL,
CONSTRUCTIVITY, IMPREDICATIVITY, AND FEASIBILITY JEAN FICHOT 198
LORENZEN'S OPERATIVE JUSTIFICATION OF INTUITIONISTIC LOGIC PETER
SCHROEDER-HEISTER 214 PART III MATHEMATICAL PERSPECTIVES THE
HILBERT-BROUWER CONTROVERSY RESOLVED? PER MARIIN-LOEF 243 PROOF THEORY
AND MARTIN-LOEF TYPE THEORY ANTON SETZER 257 SOME REMARKS ON LINEAR LOGIC
MITSUHIRO OKADA 280 TWO APPLICATIONS OF DYNAMIC CONSTRUCTIVISM:
BROUWER'S CONTINUITY PRINCIPLE AND CHOICE SEQUENCES IN FORMAL TOPOLOGY
GIOVANNI SAM BIN 301 A REVERSE LOOK AT BROUWER'S FAN THEOREM DOUGLAS
BRIDGES 316 SOME APPLICATIONS OF BROUWER'S THESIS ON BARS WIM VELDMAN
326 CONCLUDING REMARKS AT THE CERISY CONFERENCE MICHAEL DUMMETT , 341
CONTENTS IX A BIBLIOGRAPHY OF L.E.J. BROUWER DIRK VAN DALEN 343
REFERENCES 391 INDEX OF CITATIONS 417 |
any_adam_object | 1 |
any_adam_object_boolean | 1 |
building | Verbundindex |
bvnumber | BV035091049 |
callnumber-first | Q - Science |
callnumber-label | QA9 |
callnumber-raw | QA9.47 |
callnumber-search | QA9.47 |
callnumber-sort | QA 19.47 |
callnumber-subject | QA - Mathematics |
classification_rvk | CC 2600 |
ctrlnum | (OCoLC)181328068 (DE-599)BVBBV035091049 |
dewey-full | 511.3/6 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.3/6 |
dewey-search | 511.3/6 |
dewey-sort | 3511.3 16 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik Philosophie |
discipline_str_mv | Mathematik Philosophie |
era | Geschichte 1907-2007 gnd |
era_facet | Geschichte 1907-2007 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02501nam a2200637 c 4500</leader><controlfield tag="001">BV035091049</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090609 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081009s2008 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783764386528</subfield><subfield code="9">978-3-7643-8652-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)181328068</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035091049</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">One hundred years of intuitionism</subfield><subfield code="b">(1907-2007) ; the Cerisy Conference</subfield><subfield code="c">Mark van Atten ... (ed.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">100 years of intuitionism</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 422 S.</subfield><subfield code="b">Ill.</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="0" ind2=" "><subfield code="a">Publications des Archives Henri-Poincaré</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Bibliographie L. E. J. Brouwer S. 343-389. - Literaturverz. S. 390-416</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Brouwer, L. E. J <1881-1966></subfield><subfield code="q">(Luitzen Egbertus Jan)</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Brouwer, Luitzen E. J.</subfield><subfield code="d">1881-1966</subfield><subfield code="0">(DE-588)118988131</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte 1907-2007</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Intuitionistic mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionismus</subfield><subfield code="0">(DE-588)4162197-9</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4006432-3</subfield><subfield code="a">Bibliografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Cerisy</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Intuitionismus</subfield><subfield code="0">(DE-588)4162197-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Geschichte 1907-2007</subfield><subfield code="A">z</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">Brouwer, Luitzen E. J.</subfield><subfield code="d">1881-1966</subfield><subfield code="0">(DE-588)118988131</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Intuitionismus</subfield><subfield code="0">(DE-588)4162197-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Geschichte 1907-2007</subfield><subfield code="A">z</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">Intuitionismus</subfield><subfield code="0">(DE-588)4162197-9</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="2"><subfield code="a">Geschichte 1907-2007</subfield><subfield code="A">z</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">Brouwer, Luitzen E. J.</subfield><subfield code="d">1881-1966</subfield><subfield code="0">(DE-588)118988131</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Atten, Mark van</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</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=016759162&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016759162</subfield></datafield></record></collection> |
genre | (DE-588)4006432-3 Bibliografie gnd-content (DE-588)1071861417 Konferenzschrift 2007 Cerisy gnd-content |
genre_facet | Bibliografie Konferenzschrift 2007 Cerisy |
id | DE-604.BV035091049 |
illustrated | Illustrated |
index_date | 2024-07-02T22:10:40Z |
indexdate | 2024-07-09T21:21:59Z |
institution | BVB |
isbn | 9783764386528 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016759162 |
oclc_num | 181328068 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-29 DE-12 |
owner_facet | DE-19 DE-BY-UBM DE-29 DE-12 |
physical | XIII, 422 S. Ill. |
publishDate | 2008 |
publishDateSearch | 2008 |
publishDateSort | 2008 |
publisher | Birkhäuser |
record_format | marc |
series2 | Publications des Archives Henri-Poincaré |
spelling | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference Mark van Atten ... (ed.) 100 years of intuitionism Basel [u.a.] Birkhäuser 2008 XIII, 422 S. Ill. txt rdacontent n rdamedia nc rdacarrier Publications des Archives Henri-Poincaré Bibliographie L. E. J. Brouwer S. 343-389. - Literaturverz. S. 390-416 Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 gnd rswk-swf Geschichte 1907-2007 gnd rswk-swf Mathematik Philosophie Intuitionistic mathematics Mathematics Philosophy Intuitionismus (DE-588)4162197-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)4006432-3 Bibliografie gnd-content (DE-588)1071861417 Konferenzschrift 2007 Cerisy gnd-content Intuitionismus (DE-588)4162197-9 s Geschichte 1907-2007 z DE-604 Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 p Mathematik (DE-588)4037944-9 s Atten, Mark van Sonstige oth Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016759162&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 gnd Mathematik Philosophie Intuitionistic mathematics Mathematics Philosophy Intuitionismus (DE-588)4162197-9 gnd Mathematik (DE-588)4037944-9 gnd |
subject_GND | (DE-588)118988131 (DE-588)4162197-9 (DE-588)4037944-9 (DE-588)4006432-3 (DE-588)1071861417 |
title | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference |
title_alt | 100 years of intuitionism |
title_auth | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference |
title_exact_search | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference |
title_exact_search_txtP | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference |
title_full | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference Mark van Atten ... (ed.) |
title_fullStr | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference Mark van Atten ... (ed.) |
title_full_unstemmed | One hundred years of intuitionism (1907-2007) ; the Cerisy Conference Mark van Atten ... (ed.) |
title_short | One hundred years of intuitionism |
title_sort | one hundred years of intuitionism 1907 2007 the cerisy conference |
title_sub | (1907-2007) ; the Cerisy Conference |
topic | Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 gnd Mathematik Philosophie Intuitionistic mathematics Mathematics Philosophy Intuitionismus (DE-588)4162197-9 gnd Mathematik (DE-588)4037944-9 gnd |
topic_facet | Brouwer, L. E. J <1881-1966> (Luitzen Egbertus Jan) Brouwer, Luitzen E. J. 1881-1966 Mathematik Philosophie Intuitionistic mathematics Mathematics Philosophy Intuitionismus Bibliografie Konferenzschrift 2007 Cerisy |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016759162&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT attenmarkvan onehundredyearsofintuitionism19072007thecerisyconference AT attenmarkvan 100yearsofintuitionism |