Logic Colloquium '02: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-seventh publication in the Lec...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture notes in logic
27 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-seventh publication in the Lecture Notes in Logic series, contains the proceedings of two conferences: the European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany in August, 2002. This compilation of articles from some of the world's preeminent logicians spans all areas of mathematical logic, including philosophical logic and computer science logic. It contains expanded versions of a number of invited plenary talks and tutorials that will be of interest to graduate students and researchers in the field of mathematical logic |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 14 Apr 2017) |
| Beschreibung: | 1 online resource (viii, 359 pages) |
| ISBN: | 9781316755723 |
| DOI: | 10.1017/9781316755723 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044283846 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170425s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9781316755723 |9 978-1-316-75572-3 | ||
| 024 | 7 | |a 10.1017/9781316755723 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316755723 | ||
| 035 | |a (OCoLC)992456310 | ||
| 035 | |a (DE-599)BVBBV044283846 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3 | |
| 110 | 2 | |a Logic Colloquium '02 <2002, Münster, Germany> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '02 |b proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 |c edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 online resource (viii, 359 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 27 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 14 Apr 2017) | ||
| 520 | |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-seventh publication in the Lecture Notes in Logic series, contains the proceedings of two conferences: the European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany in August, 2002. This compilation of articles from some of the world's preeminent logicians spans all areas of mathematical logic, including philosophical logic and computer science logic. It contains expanded versions of a number of invited plenary talks and tutorials that will be of interest to graduate students and researchers in the field of mathematical logic | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Chatzidakis, Zoé Maria |4 edt | |
| 700 | 1 | |a Koepke, Peter |4 edt | |
| 700 | 1 | |a Pohlers, Wolfram |4 edt | |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316755723 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029688156 | ||
| 966 | e | |u https://doi.org/10.1017/9781316755723 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316755723 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177476463624192 |
|---|---|
| any_adam_object | |
| author2 | Chatzidakis, Zoé Maria Koepke, Peter Pohlers, Wolfram |
| author2_role | edt edt edt |
| author2_variant | z m c zm zmc p k pk w p wp |
| author_corporate | Logic Colloquium '02 <2002, Münster, Germany> |
| author_corporate_role | aut |
| author_facet | Chatzidakis, Zoé Maria Koepke, Peter Pohlers, Wolfram Logic Colloquium '02 <2002, Münster, Germany> |
| author_sort | Logic Colloquium '02 <2002, Münster, Germany> |
| building | Verbundindex |
| bvnumber | BV044283846 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316755723 (OCoLC)992456310 (DE-599)BVBBV044283846 |
| 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.1017/9781316755723 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02672nmm a2200433zcb4500</leader><controlfield tag="001">BV044283846</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170425s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316755723</subfield><subfield code="9">978-1-316-75572-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316755723</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316755723</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992456310</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044283846</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-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium '02 <2002, Münster, Germany></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '02</subfield><subfield code="b">proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002</subfield><subfield code="c">edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 359 pages)</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">Lecture notes in logic</subfield><subfield code="v">27</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 14 Apr 2017)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-seventh publication in the Lecture Notes in Logic series, contains the proceedings of two conferences: the European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany in August, 2002. This compilation of articles from some of the world's preeminent logicians spans all areas of mathematical logic, including philosophical logic and computer science logic. It contains expanded versions of a number of invited plenary talks and tutorials that will be of interest to graduate students and researchers in the field of mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chatzidakis, Zoé Maria</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Koepke, Peter</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pohlers, Wolfram</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316755723</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029688156</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316755723</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316755723</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044283846 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:48:41Z |
| institution | BVB |
| isbn | 9781316755723 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029688156 |
| oclc_num | 992456310 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (viii, 359 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Logic Colloquium '02 <2002, Münster, Germany> Verfasser aut Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers Cambridge Cambridge University Press 2016 1 online resource (viii, 359 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 27 Title from publisher's bibliographic system (viewed on 14 Apr 2017) Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-seventh publication in the Lecture Notes in Logic series, contains the proceedings of two conferences: the European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany in August, 2002. This compilation of articles from some of the world's preeminent logicians spans all areas of mathematical logic, including philosophical logic and computer science logic. It contains expanded versions of a number of invited plenary talks and tutorials that will be of interest to graduate students and researchers in the field of mathematical logic Logic, Symbolic and mathematical / Congresses (DE-588)1071861417 Konferenzschrift gnd-content Chatzidakis, Zoé Maria edt Koepke, Peter edt Pohlers, Wolfram edt https://doi.org/10.1017/9781316755723 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 Logic, Symbolic and mathematical / Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 |
| title_auth | Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 |
| title_exact_search | Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 |
| title_full | Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers |
| title_fullStr | Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers |
| title_full_unstemmed | Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers |
| title_short | Logic Colloquium '02 |
| title_sort | logic colloquium 02 proceedings of the annual european summer meeting of the association for symbolic logic and the colloquium logicum held in munster germany august 3 11 2002 |
| title_sub | proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 |
| topic | Logic, Symbolic and mathematical / Congresses |
| topic_facet | Logic, Symbolic and mathematical / Congresses Konferenzschrift |
| url | https://doi.org/10.1017/9781316755723 |
| work_keys_str_mv | AT logiccolloquium022002munstergermany logiccolloquium02proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicandthecolloquiumlogicumheldinmunstergermanyaugust3112002 AT chatzidakiszoemaria logiccolloquium02proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicandthecolloquiumlogicumheldinmunstergermanyaugust3112002 AT koepkepeter logiccolloquium02proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicandthecolloquiumlogicumheldinmunstergermanyaugust3112002 AT pohlerswolfram logiccolloquium02proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicandthecolloquiumlogicumheldinmunstergermanyaugust3112002 |