Logic Colloquium '96
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 twelfth publication in the Lecture No...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture notes in logic
12 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781316716816 | ||
| 003 | UkCbUP | ||
| 005 | 20170421102512.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 160211s2016||||enk o ||1 0|eng|d | ||
| 020 | |a 9781316716816 | ||
| 111 | 2 | |a Logic Colloquium |d (1996 : |c San Sebastián, Spain) | |
| 245 | 1 | 0 | |a Logic Colloquium '96 |c edited by J.M. Larrazabal, D. Lascar, G. Mints |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 Online-Ressource (vi, 261 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Lecture notes in logic |v 12 | |
| 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 twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic. The volume includes eleven papers from pre-eminent researchers in mathematical logic. | ||
| 700 | 1 | |a Larrazabal, Jesús M. | |
| 700 | 1 | |a Lascar, D. |d 1942- | |
| 700 | 1 | |a Mint͡s, G. E. | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107166080 |
| 856 | 4 | 0 | |l TUM01 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781316716816 |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-CR9781316716816 |
|---|---|
| _version_ | 1818779681241956353 |
| adam_text | |
| any_adam_object | |
| author2 | Larrazabal, Jesús M. Lascar, D. 1942- Mint͡s, G. E. |
| author2_role | |
| author2_variant | j m l jm jml d l dl g e m ge gem |
| author_corporate | Logic Colloquium San Sebastián, Spain |
| author_corporate_role | |
| author_facet | Larrazabal, Jesús M. Lascar, D. 1942- Mint͡s, G. E. Logic Colloquium San Sebastián, Spain |
| author_sort | Logic Colloquium San Sebastián, Spain |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| doi_str_mv | 10.1017/9781316716816 |
| format | Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01663nam a2200289 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781316716816</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20170421102512.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">9781316716816</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">(1996 :</subfield><subfield code="c">San Sebastián, Spain)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '96</subfield><subfield code="c">edited by J.M. Larrazabal, D. Lascar, G. Mints</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 (vi, 261 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">12</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 twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic. The volume includes eleven papers from pre-eminent researchers in mathematical logic.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Larrazabal, Jesús M.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lascar, D.</subfield><subfield code="d">1942-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mint͡s, G. E.</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">9781107166080</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">TUM01</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781316716816</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-CR9781316716816 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-18T12:04:29Z |
| institution | BVB |
| isbn | 9781316716816 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (vi, 261 Seiten) |
| psigel | ZDB-20-CTM |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Logic Colloquium (1996 : San Sebastián, Spain) Logic Colloquium '96 edited by J.M. Larrazabal, D. Lascar, G. Mints Cambridge Cambridge University Press 2016 1 Online-Ressource (vi, 261 Seiten) txt c cr Lecture notes in logic 12 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 twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic. The volume includes eleven papers from pre-eminent researchers in mathematical logic. Larrazabal, Jesús M. Lascar, D. 1942- Mint͡s, G. E. Erscheint auch als Druck-Ausgabe 9781107166080 TUM01 ZDB-20-CTM TUM_PDA_CTM https://doi.org/10.1017/9781316716816 Volltext |
| spellingShingle | Logic Colloquium '96 |
| title | Logic Colloquium '96 |
| title_auth | Logic Colloquium '96 |
| title_exact_search | Logic Colloquium '96 |
| title_full | Logic Colloquium '96 edited by J.M. Larrazabal, D. Lascar, G. Mints |
| title_fullStr | Logic Colloquium '96 edited by J.M. Larrazabal, D. Lascar, G. Mints |
| title_full_unstemmed | Logic Colloquium '96 edited by J.M. Larrazabal, D. Lascar, G. Mints |
| title_short | Logic Colloquium '96 |
| title_sort | logic colloquium 96 |
| url | https://doi.org/10.1017/9781316716816 |
| work_keys_str_mv | AT logiccolloquiumsansebastianspain logiccolloquium96 AT larrazabaljesusm logiccolloquium96 AT lascard logiccolloquium96 AT mintsge logiccolloquium96 |