Ways of proof theory /:
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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Frankfurt ; New Brunswick :
Ontos Verlag,
2010.
|
| Schriftenreihe: | Ontos mathematical logic ;
v. 2. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (v, 486 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9783110324907 3110324903 3868380876 9783868380873 3110324520 9783110324525 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn854569223 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 130717s2010 gw a ob 000 0 eng d | ||
| 040 | |a E7B |b eng |e pn |c E7B |d OCLCQ |d OCLCO |d YDXCP |d OCLCF |d EBLCP |d IDEBK |d N$T |d DEBBG |d DEBSZ |d OCLCQ |d OCL |d LOA |d AGLDB |d MOR |d PIFAG |d ZCU |d MERUC |d OCLCQ |d JBG |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d DKC |d OCLCQ |d HS0 |d OCLCQ |d AJS |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 851972130 |a 961596146 |a 962700683 |a 974743879 |a 974854473 |a 992859080 |a 1018049993 |a 1053518481 |a 1081295603 | ||
| 020 | |a 9783110324907 |q (e-book) | ||
| 020 | |a 3110324903 |q (e-book) | ||
| 020 | |a 3868380876 | ||
| 020 | |a 9783868380873 | ||
| 020 | |a 3110324520 | ||
| 020 | |a 9783110324525 | ||
| 020 | |z 9783868380873 | ||
| 020 | |z 9783110324525 | ||
| 035 | |a (OCoLC)854569223 |z (OCoLC)851972130 |z (OCoLC)961596146 |z (OCoLC)962700683 |z (OCoLC)974743879 |z (OCoLC)974854473 |z (OCoLC)992859080 |z (OCoLC)1018049993 |z (OCoLC)1053518481 |z (OCoLC)1081295603 | ||
| 050 | 4 | |a QA9.54 |b .S35 2010eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3/6 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Schindler, Ralf. | |
| 245 | 1 | 0 | |a Ways of proof theory / |c Ralf Schindler (ed.). |
| 260 | |a Frankfurt ; |a New Brunswick : |b Ontos Verlag, |c 2010. | ||
| 300 | |a 1 online resource (v, 486 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Ontos mathematical logic ; |v v. 2 | |
| 504 | |a Includes bibliographical references. | ||
| 520 | |a 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. | ||
| 650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Proof theory |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Schindler, Ralf. |t Ways of Proof Theory. |d Berlin : De Gruyter, ©2010 |z 9783110324525 |
| 830 | 0 | |a Ontos mathematical logic ; |v v. 2. |0 http://id.loc.gov/authorities/names/no2006121879 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=603587 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1215583 | ||
| 938 | |a ebrary |b EBRY |n ebr10728776 | ||
| 938 | |a EBSCOhost |b EBSC |n 603587 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25806506 | ||
| 938 | |a YBP Library Services |b YANK |n 10818722 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn854569223 |
|---|---|
| _version_ | 1816882239581978624 |
| adam_text | |
| any_adam_object | |
| author | Schindler, Ralf |
| author_facet | Schindler, Ralf |
| author_role | |
| author_sort | Schindler, Ralf |
| author_variant | r s rs |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 .S35 2010eb |
| callnumber-search | QA9.54 .S35 2010eb |
| callnumber-sort | QA 19.54 S35 42010EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)854569223 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03129cam a2200577Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn854569223</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">130717s2010 gw a ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">EBLCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">N$T</subfield><subfield code="d">DEBBG</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">LOA</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HS0</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">851972130</subfield><subfield code="a">961596146</subfield><subfield code="a">962700683</subfield><subfield code="a">974743879</subfield><subfield code="a">974854473</subfield><subfield code="a">992859080</subfield><subfield code="a">1018049993</subfield><subfield code="a">1053518481</subfield><subfield code="a">1081295603</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324907</subfield><subfield code="q">(e-book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110324903</subfield><subfield code="q">(e-book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3868380876</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783868380873</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110324520</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324525</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783868380873</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783110324525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)854569223</subfield><subfield code="z">(OCoLC)851972130</subfield><subfield code="z">(OCoLC)961596146</subfield><subfield code="z">(OCoLC)962700683</subfield><subfield code="z">(OCoLC)974743879</subfield><subfield code="z">(OCoLC)974854473</subfield><subfield code="z">(OCoLC)992859080</subfield><subfield code="z">(OCoLC)1018049993</subfield><subfield code="z">(OCoLC)1053518481</subfield><subfield code="z">(OCoLC)1081295603</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.S35 2010eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schindler, Ralf.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ways of proof theory /</subfield><subfield code="c">Ralf Schindler (ed.).</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Frankfurt ;</subfield><subfield code="a">New Brunswick :</subfield><subfield code="b">Ontos Verlag,</subfield><subfield code="c">2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (v, 486 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos mathematical logic ;</subfield><subfield code="v">v. 2</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Schindler, Ralf.</subfield><subfield code="t">Ways of Proof Theory.</subfield><subfield code="d">Berlin : De Gruyter, ©2010</subfield><subfield code="z">9783110324525</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Ontos mathematical logic ;</subfield><subfield code="v">v. 2.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2006121879</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=603587</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1215583</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10728776</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">603587</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis25806506</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">10818722</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn854569223 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:27Z |
| institution | BVB |
| isbn | 9783110324907 3110324903 3868380876 9783868380873 3110324520 9783110324525 |
| language | English |
| oclc_num | 854569223 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (v, 486 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Ontos Verlag, |
| record_format | marc |
| series | Ontos mathematical logic ; |
| series2 | Ontos mathematical logic ; |
| spelling | Schindler, Ralf. Ways of proof theory / Ralf Schindler (ed.). Frankfurt ; New Brunswick : Ontos Verlag, 2010. 1 online resource (v, 486 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Ontos mathematical logic ; v. 2 Includes bibliographical references. 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. Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast Print version: Schindler, Ralf. Ways of Proof Theory. Berlin : De Gruyter, ©2010 9783110324525 Ontos mathematical logic ; v. 2. http://id.loc.gov/authorities/names/no2006121879 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=603587 Volltext |
| spellingShingle | Schindler, Ralf Ways of proof theory / Ontos mathematical logic ; Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107437 |
| title | Ways of proof theory / |
| title_auth | Ways of proof theory / |
| title_exact_search | Ways of proof theory / |
| title_full | Ways of proof theory / Ralf Schindler (ed.). |
| title_fullStr | Ways of proof theory / Ralf Schindler (ed.). |
| title_full_unstemmed | Ways of proof theory / Ralf Schindler (ed.). |
| title_short | Ways of proof theory / |
| title_sort | ways of proof theory |
| topic | Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Théorie de la preuve. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Proof theory fast |
| topic_facet | Proof theory. Théorie de la preuve. MATHEMATICS Infinity. MATHEMATICS Logic. Proof theory |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=603587 |
| work_keys_str_mv | AT schindlerralf waysofprooftheory |