Logic Colloquium '95: proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
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 eleventh publication in the Lecture N...
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
11 |
| Links: | https://doi.org/10.1017/9781316716830 |
| 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 eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years. |
| Umfang: | 1 Online-Ressource (xvi, 348 Seiten) |
| ISBN: | 9781316716830 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781316716830 | ||
| 003 | UkCbUP | ||
| 005 | 20170421101812.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 160211s2016||||enk o ||1 0|eng|d | ||
| 020 | |a 9781316716830 | ||
| 111 | 2 | |a Logic Colloquium |d (1995 : |c Haifa, Israel) | |
| 245 | 1 | 0 | |a Logic Colloquium '95 |b proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 |c edited by Johann A. Makowsky, Elena V. Ravve |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 Online-Ressource (xvi, 348 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Lecture notes in logic |v 11 | |
| 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 eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years. | ||
| 700 | 1 | |a Makowsky, Johann A. |d 1948- | |
| 700 | 1 | |a Ravve, Elena V. |d 1963- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107167902 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781316716830 |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-CR9781316716830 |
|---|---|
| _version_ | 1825574048007979008 |
| adam_text | |
| any_adam_object | |
| author2 | Makowsky, Johann A. 1948- Ravve, Elena V. 1963- |
| author2_role | |
| author2_variant | j a m ja jam e v r ev evr |
| author_corporate | Logic Colloquium Haifa, Israel |
| author_corporate_role | |
| author_facet | Makowsky, Johann A. 1948- Ravve, Elena V. 1963- Logic Colloquium Haifa, Israel |
| author_sort | Logic Colloquium Haifa, Israel |
| 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>01873nam a2200277 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781316716830</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20170421101812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">160211s2016||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316716830</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">(1995 :</subfield><subfield code="c">Haifa, Israel)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '95</subfield><subfield code="b">proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995</subfield><subfield code="c">edited by Johann A. Makowsky, Elena V. Ravve</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 (xvi, 348 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="1" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">11</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 eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Makowsky, Johann A.</subfield><subfield code="d">1948-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ravve, Elena V.</subfield><subfield code="d">1963-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781107167902</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/9781316716830</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-CR9781316716830 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-03T11:58:02Z |
| institution | BVB |
| isbn | 9781316716830 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xvi, 348 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 (1995 : Haifa, Israel) Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 edited by Johann A. Makowsky, Elena V. Ravve Cambridge Cambridge University Press 2016 1 Online-Ressource (xvi, 348 Seiten) txt c cr Lecture notes in logic 11 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 eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years. Makowsky, Johann A. 1948- Ravve, Elena V. 1963- Erscheint auch als Druck-Ausgabe 9781107167902 |
| spellingShingle | Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 |
| title | Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 |
| title_auth | Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 |
| title_exact_search | Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 |
| title_full | Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 edited by Johann A. Makowsky, Elena V. Ravve |
| title_fullStr | Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 edited by Johann A. Makowsky, Elena V. Ravve |
| title_full_unstemmed | Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 edited by Johann A. Makowsky, Elena V. Ravve |
| title_short | Logic Colloquium '95 |
| title_sort | logic colloquium 95 proceedings of the annual european summer meeting of the association of symbolic logic haifa israel august 9 18 1995 |
| title_sub | proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 |
| work_keys_str_mv | AT logiccolloquiumhaifaisrael logiccolloquium95proceedingsoftheannualeuropeansummermeetingoftheassociationofsymboliclogichaifaisraelaugust9181995 AT makowskyjohanna logiccolloquium95proceedingsoftheannualeuropeansummermeetingoftheassociationofsymboliclogichaifaisraelaugust9181995 AT ravveelenav logiccolloquium95proceedingsoftheannualeuropeansummermeetingoftheassociationofsymboliclogichaifaisraelaugust9181995 |