Logic Colloquium '03: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
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-fourth publication in the Lect...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture notes in logic
24 |
| 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-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 14 Apr 2017) |
| Beschreibung: | 1 online resource (x, 408 pages) |
| ISBN: | 9781316755785 |
| DOI: | 10.1017/9781316755785 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044283837 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170425s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9781316755785 |9 978-1-316-75578-5 | ||
| 024 | 7 | |a 10.1017/9781316755785 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316755785 | ||
| 035 | |a (OCoLC)992477144 | ||
| 035 | |a (DE-599)BVBBV044283837 | ||
| 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 <2003, Helsinki, Finland> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '03 |b proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 |c edited by Viggo Stoltenberg-Hansen, Jouko Väänänen |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 online resource (x, 408 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 24 | |
| 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-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Stoltenberg-Hansen, Viggo |4 edt | |
| 700 | 1 | |a Väänänen, J. (Jouko) |d 1950- |4 edt | |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316755785 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029688140 | ||
| 966 | e | |u https://doi.org/10.1017/9781316755785 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316755785 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177476422729728 |
|---|---|
| any_adam_object | |
| author2 | Stoltenberg-Hansen, Viggo Väänänen, J. (Jouko) 1950- |
| author2_role | edt edt |
| author2_variant | v s h vsh j j v jj jjv |
| author_corporate | Logic Colloquium <2003, Helsinki, Finland> |
| author_corporate_role | aut |
| author_facet | Stoltenberg-Hansen, Viggo Väänänen, J. (Jouko) 1950- Logic Colloquium <2003, Helsinki, Finland> |
| author_sort | Logic Colloquium <2003, Helsinki, Finland> |
| building | Verbundindex |
| bvnumber | BV044283837 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316755785 (OCoLC)992477144 (DE-599)BVBBV044283837 |
| 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/9781316755785 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02476nmm a2200421zcb4500</leader><controlfield tag="001">BV044283837</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">9781316755785</subfield><subfield code="9">978-1-316-75578-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316755785</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316755785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992477144</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044283837</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 <2003, Helsinki, Finland></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '03</subfield><subfield code="b">proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003</subfield><subfield code="c">edited by Viggo Stoltenberg-Hansen, Jouko Väänänen</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 (x, 408 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">24</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-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy</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">Stoltenberg-Hansen, Viggo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Väänänen, J. (Jouko)</subfield><subfield code="d">1950-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316755785</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-029688140</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316755785</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/9781316755785</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.BV044283837 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:48:41Z |
| institution | BVB |
| isbn | 9781316755785 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029688140 |
| oclc_num | 992477144 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (x, 408 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 <2003, Helsinki, Finland> Verfasser aut Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 edited by Viggo Stoltenberg-Hansen, Jouko Väänänen Cambridge Cambridge University Press 2016 1 online resource (x, 408 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 24 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-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy Logic, Symbolic and mathematical / Congresses (DE-588)1071861417 Konferenzschrift gnd-content Stoltenberg-Hansen, Viggo edt Väänänen, J. (Jouko) 1950- edt https://doi.org/10.1017/9781316755785 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 Logic, Symbolic and mathematical / Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 |
| title_auth | Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 |
| title_exact_search | Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 |
| title_full | Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 edited by Viggo Stoltenberg-Hansen, Jouko Väänänen |
| title_fullStr | Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 edited by Viggo Stoltenberg-Hansen, Jouko Väänänen |
| title_full_unstemmed | Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 edited by Viggo Stoltenberg-Hansen, Jouko Väänänen |
| title_short | Logic Colloquium '03 |
| title_sort | logic colloquium 03 proceedings of the annual european summer meeting of the association for symbolic logic held in helsinki finland august 14 20 2003 |
| title_sub | proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 |
| topic | Logic, Symbolic and mathematical / Congresses |
| topic_facet | Logic, Symbolic and mathematical / Congresses Konferenzschrift |
| url | https://doi.org/10.1017/9781316755785 |
| work_keys_str_mv | AT logiccolloquium2003helsinkifinland logiccolloquium03proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinhelsinkifinlandaugust14202003 AT stoltenberghansenviggo logiccolloquium03proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinhelsinkifinlandaugust14202003 AT vaananenjjouko logiccolloquium03proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinhelsinkifinlandaugust14202003 |