Ways of Proof Theory:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin
De Gruyter
2010
|
| Schriftenreihe: | Ontos Mathematical Logic
2 |
| Schlagworte: | |
| Online-Zugang: | DE-706 Volltext Volltext |
| Beschreibung: | Description based upon print version of record Main description: On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory |
| Beschreibung: | 1 Online-Ressource (498 S.) |
| ISBN: | 9783110324525 9783110324907 9783110324914 |
| DOI: | 10.1515/9783110324907 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042349294 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150212s2010 xx o|||| 00||| eng d | ||
| 020 | |a 9783110324525 |c print |9 978-3-11-032452-5 | ||
| 020 | |a 9783110324907 |9 978-3-11-032490-7 | ||
| 020 | |a 9783110324907 |9 978-3-11-032490-7 | ||
| 020 | |a 9783110324914 |9 978-3-11-032491-4 | ||
| 024 | 7 | |a 10.1515/9783110324907 |2 doi | |
| 035 | |a (OCoLC)854569223 | ||
| 035 | |a (DE-599)BVBBV042349294 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-859 |a DE-860 |a DE-473 |a DE-739 |a DE-1046 |a DE-703 |a DE-1043 |a DE-858 |a DE-824 |a DE-19 |a DE-706 | ||
| 082 | 0 | |a 511.3 | |
| 245 | 1 | 0 | |a Ways of Proof Theory |
| 264 | 1 | |a Berlin |b De Gruyter |c 2010 | |
| 300 | |a 1 Online-Ressource (498 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Ontos Mathematical Logic |v 2 | |
| 500 | |a Description based upon print version of record | ||
| 500 | |a Main description: On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory | ||
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 653 | |a Electronic books | ||
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Münster (Westf) |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Schindler, Ralf |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9783110324907 |x Verlag |3 Volltext |
| 856 | 4 | 0 | |u http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324907&searchTitles=true |x Verlag |3 Volltext |
| 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 | |
| 912 | |a ZDB-23-DGG | ||
| 912 | |a ZDB-23-GPH | ||
| 912 | |a ZDB-23-GBA | ||
| 940 | 1 | |q FKE_PDA_DGG | |
| 940 | 1 | |q FLA_PDA_DGG | |
| 940 | 1 | |q UBG_PDA_DGG | |
| 940 | 1 | |q UPA_PDA_DGG | |
| 940 | 1 | |q FAW_PDA_DGG | |
| 940 | 1 | |q ZDB-23-GPH_2000/2014 | |
| 940 | 1 | |q FCO_PDA_DGG | |
| 940 | 1 | |q ZDB-23-GBA_2000/2014 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027785775 | |
| 966 | e | |u https://doi.org/10.1515/9783110324907 |l DE-706 |p ZDB-23-GBA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1824508386731884544 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042349294 |
| collection | ZDB-23-DGG ZDB-23-GPH ZDB-23-GBA |
| ctrlnum | (OCoLC)854569223 (DE-599)BVBBV042349294 |
| 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 |
| doi_str_mv | 10.1515/9783110324907 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042349294</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150212s2010 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324525</subfield><subfield code="c">print</subfield><subfield code="9">978-3-11-032452-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324907</subfield><subfield code="9">978-3-11-032490-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324907</subfield><subfield code="9">978-3-11-032490-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324914</subfield><subfield code="9">978-3-11-032491-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110324907</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)854569223</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042349294</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-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ways of Proof Theory</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (498 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">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">Ontos Mathematical Logic</subfield><subfield code="v">2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based upon print version of record</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Main description: On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic books</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Münster (Westf)</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schindler, Ralf</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110324907</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324907&searchTitles=true</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GBA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FKE_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UPA_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-GPH_2000/2014</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FCO_PDA_DGG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-GBA_2000/2014</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027785775</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110324907</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-23-GBA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 2008 Münster (Westf) gnd-content 2\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift 2008 Münster (Westf) Konferenzschrift |
| id | DE-604.BV042349294 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-19T17:39:48Z |
| institution | BVB |
| isbn | 9783110324525 9783110324907 9783110324914 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027785775 |
| oclc_num | 854569223 |
| open_access_boolean | |
| owner | DE-859 DE-860 DE-473 DE-BY-UBG DE-739 DE-1046 DE-703 DE-1043 DE-858 DE-824 DE-19 DE-BY-UBM DE-706 |
| owner_facet | DE-859 DE-860 DE-473 DE-BY-UBG DE-739 DE-1046 DE-703 DE-1043 DE-858 DE-824 DE-19 DE-BY-UBM DE-706 |
| physical | 1 Online-Ressource (498 S.) |
| psigel | ZDB-23-DGG ZDB-23-GPH ZDB-23-GBA FKE_PDA_DGG FLA_PDA_DGG UBG_PDA_DGG UPA_PDA_DGG FAW_PDA_DGG ZDB-23-GPH_2000/2014 FCO_PDA_DGG ZDB-23-GBA_2000/2014 |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | De Gruyter |
| record_format | marc |
| series2 | Ontos Mathematical Logic |
| spelling | Ways of Proof Theory Berlin De Gruyter 2010 1 Online-Ressource (498 S.) txt rdacontent c rdamedia cr rdacarrier Ontos Mathematical Logic 2 Description based upon print version of record Main description: On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Electronic books 1\p (DE-588)1071861417 Konferenzschrift 2008 Münster (Westf) gnd-content 2\p (DE-588)1071861417 Konferenzschrift gnd-content Beweistheorie (DE-588)4145177-6 s 3\p DE-604 Schindler, Ralf Sonstige oth https://doi.org/10.1515/9783110324907 Verlag Volltext http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324907&searchTitles=true Verlag 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 | Ways of Proof Theory Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)1071861417 |
| title | Ways of Proof Theory |
| title_auth | Ways of Proof Theory |
| title_exact_search | Ways of Proof Theory |
| title_full | Ways of Proof Theory |
| title_fullStr | Ways of Proof Theory |
| title_full_unstemmed | Ways of Proof Theory |
| title_short | Ways of Proof Theory |
| title_sort | ways of proof theory |
| topic | Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie Konferenzschrift 2008 Münster (Westf) Konferenzschrift |
| url | https://doi.org/10.1515/9783110324907 http://www.degruyter.com/search?f_0=isbnissn&q_0=9783110324907&searchTitles=true |
| work_keys_str_mv | AT schindlerralf waysofprooftheory |