Logic Colloquium '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
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 seventeenth publication in the Lectur...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere beteiligte Personen: | , , |
| Format: | Tagungsbericht E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture Notes in Logic
17 |
| Links: | https://doi.org/10.1017/9781316755921 |
| 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 seventeenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in August, 1999. It includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in geometric model theory and the descriptive set theory of group actions. The other articles cover current research topics in all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy. |
| Umfang: | 1 Online-Ressource (viii, 208 Seiten) |
| ISBN: | 9781316755921 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781316755921 | ||
| 003 | UkCbUP | ||
| 005 | 20170421113838.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 160229s2016||||enk o ||1 0|eng|d | ||
| 020 | |a 9781316755921 | ||
| 111 | 2 | |a Logic Colloquium |d (1999 : |c Utrecht, Netherlands) | |
| 245 | 1 | 0 | |a Logic Colloquium '99 |b proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 |c edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 Online-Ressource (viii, 208 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 0 | |a Lecture Notes in Logic |v 17 | |
| 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 seventeenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in August, 1999. It includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in geometric model theory and the descriptive set theory of group actions. The other articles cover current research topics in all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy. | ||
| 700 | 1 | |a Eijck, J. van | |
| 700 | 1 | |a Oostrom, Vincent van |d 1966- | |
| 700 | 1 | |a Visser, Albert | |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781316755921 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781316755921 |
|---|---|
| _version_ | 1825574048006930432 |
| adam_text | |
| any_adam_object | |
| author2 | Eijck, J. van Oostrom, Vincent van 1966- Visser, Albert |
| author2_role | |
| author2_variant | j v e jv jve v v o vv vvo a v av |
| author_corporate | Logic Colloquium Utrecht, Netherlands |
| author_corporate_role | |
| author_facet | Eijck, J. van Oostrom, Vincent van 1966- Visser, Albert Logic Colloquium Utrecht, Netherlands |
| author_sort | Logic Colloquium Utrecht, Netherlands |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01882nam a2200277 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781316755921</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20170421113838.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">160229s2016||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316755921</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">(1999 :</subfield><subfield code="c">Utrecht, Netherlands)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '99</subfield><subfield code="b">proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999</subfield><subfield code="c">edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser</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-Ressource (viii, 208 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture Notes in Logic</subfield><subfield code="v">17</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 seventeenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in August, 1999. It includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in geometric model theory and the descriptive set theory of group actions. The other articles cover current research topics in all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eijck, J. van</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oostrom, Vincent van</subfield><subfield code="d">1966-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Visser, Albert</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781316755921</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781316755921 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-03T11:58:02Z |
| institution | BVB |
| isbn | 9781316755921 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (viii, 208 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture Notes in Logic |
| spelling | Logic Colloquium (1999 : Utrecht, Netherlands) Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser Cambridge Cambridge University Press 2016 1 Online-Ressource (viii, 208 Seiten) txt c cr Lecture Notes in Logic 17 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 seventeenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in August, 1999. It includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in geometric model theory and the descriptive set theory of group actions. The other articles cover current research topics in all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy. Eijck, J. van Oostrom, Vincent van 1966- Visser, Albert |
| spellingShingle | Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 |
| title | Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 |
| title_auth | Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 |
| title_exact_search | Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 |
| title_full | Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser |
| title_fullStr | Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser |
| title_full_unstemmed | Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser |
| title_short | Logic Colloquium '99 |
| title_sort | logic colloquium 99 proceedings of the annual european summer meeting of the association for symbolic logic held in utrecht netherlands august 1 6 1999 |
| title_sub | proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 |
| work_keys_str_mv | AT logiccolloquiumutrechtnetherlands logiccolloquium99proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinutrechtnetherlandsaugust161999 AT eijckjvan logiccolloquium99proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinutrechtnetherlandsaugust161999 AT oostromvincentvan logiccolloquium99proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinutrechtnetherlandsaugust161999 AT visseralbert logiccolloquium99proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldinutrechtnetherlandsaugust161999 |