Logic Colloquium '96

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Larrazabal, J. M, Lascar, D, Mints, G
Format: Buch
Sprache:eng
Schlagworte:
Logic, Symbolic and mathematical
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume 12
creator Larrazabal, J. M
Lascar, D
Mints, G
description 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.
doi_str_mv 10.1017/9781316716816
format Book
fullrecord <record><control><sourceid>cambridge_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9781316744581</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cupid>10_1017_9781316716816</cupid><sourcerecordid>10_1017_9781316716816</sourcerecordid><originalsourceid>FETCH-LOGICAL-a11917-3a3b0a429a979eed319a2817b313d14e67814a53e644ea04c4ed95c6e5ef9c323</originalsourceid><addsrcrecordid>eNqNkM1LAzEQxSMiqLU3vfcmCqszmWyyOcriFyx4EfG2ZLPTujYl2Fj99420CiKCp3kPfm-YeUIcIZwhoDm3pkJCbVBXqLfE_reh7WwQstZQPe6KcUrPACBLraUxe-KwibPBT-oYQnxZDavF5NjqA7EzdSHxeDNH4uHq8r6-KZq769v6oikcokVTkKMOnJLWWWOZe0LrZIWmI6QeFet8lXIlsVaKHSivuLel11zy1HqSNBIn68Uuzfk9PcXwmtq3wF2M89R-PaVUmcX_WMq_2szCmvVu0S2Hfsatj8sNitB-dtb-6CxHTn9FuvgH_AHUpmRs</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype></control><display><type>book</type><title>Logic Colloquium '96</title><source>Project Euclid Open Access</source><creator>Larrazabal, J. M ; Lascar, D ; Mints, G</creator><contributor>Lascar, D. ; Larrazabal, J. M. ; Mints, G.</contributor><creatorcontrib>Larrazabal, J. M ; Lascar, D ; Mints, G ; Lascar, D. ; Larrazabal, J. M. ; Mints, G.</creatorcontrib><description>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.</description><identifier>ISBN: 110716608X</identifier><identifier>ISBN: 9781107166080</identifier><identifier>EISBN: 1316716813</identifier><identifier>EISBN: 9781316716816</identifier><identifier>EISBN: 1316731073</identifier><identifier>EISBN: 9781316731079</identifier><identifier>EISBN: 9781316744581</identifier><identifier>EISBN: 1316744582</identifier><identifier>DOI: 10.1017/9781316716816</identifier><language>eng</language><publisher>Cambridge University Press</publisher><subject>Logic, Symbolic and mathematical</subject><creationdate>2017</creationdate><tpages>261</tpages><format>261</format><rights>Cambridge University Press 2016</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture notes in logic</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,780,784,786,27925</link.rule.ids></links><search><contributor>Lascar, D.</contributor><contributor>Larrazabal, J. M.</contributor><contributor>Mints, G.</contributor><creatorcontrib>Larrazabal, J. M</creatorcontrib><creatorcontrib>Lascar, D</creatorcontrib><creatorcontrib>Mints, G</creatorcontrib><title>Logic Colloquium '96</title><description>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.</description><subject>Logic, Symbolic and mathematical</subject><isbn>110716608X</isbn><isbn>9781107166080</isbn><isbn>1316716813</isbn><isbn>9781316716816</isbn><isbn>1316731073</isbn><isbn>9781316731079</isbn><isbn>9781316744581</isbn><isbn>1316744582</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2017</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNqNkM1LAzEQxSMiqLU3vfcmCqszmWyyOcriFyx4EfG2ZLPTujYl2Fj99420CiKCp3kPfm-YeUIcIZwhoDm3pkJCbVBXqLfE_reh7WwQstZQPe6KcUrPACBLraUxe-KwibPBT-oYQnxZDavF5NjqA7EzdSHxeDNH4uHq8r6-KZq769v6oikcokVTkKMOnJLWWWOZe0LrZIWmI6QeFet8lXIlsVaKHSivuLel11zy1HqSNBIn68Uuzfk9PcXwmtq3wF2M89R-PaVUmcX_WMq_2szCmvVu0S2Hfsatj8sNitB-dtb-6CxHTn9FuvgH_AHUpmRs</recordid><startdate>20170302</startdate><enddate>20170302</enddate><creator>Larrazabal, J. M</creator><creator>Lascar, D</creator><creator>Mints, G</creator><general>Cambridge University Press</general><scope/></search><sort><creationdate>20170302</creationdate><title>Logic Colloquium '96</title><author>Larrazabal, J. M ; Lascar, D ; Mints, G</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a11917-3a3b0a429a979eed319a2817b313d14e67814a53e644ea04c4ed95c6e5ef9c323</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2017</creationdate><topic>Logic, Symbolic and mathematical</topic><toplevel>online_resources</toplevel><creatorcontrib>Larrazabal, J. M</creatorcontrib><creatorcontrib>Lascar, D</creatorcontrib><creatorcontrib>Mints, G</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Larrazabal, J. M</au><au>Lascar, D</au><au>Mints, G</au><au>Lascar, D.</au><au>Larrazabal, J. M.</au><au>Mints, G.</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Logic Colloquium '96</btitle><seriestitle>Lecture notes in logic</seriestitle><date>2017-03-02</date><risdate>2017</risdate><volume>12</volume><isbn>110716608X</isbn><isbn>9781107166080</isbn><eisbn>1316716813</eisbn><eisbn>9781316716816</eisbn><eisbn>1316731073</eisbn><eisbn>9781316731079</eisbn><eisbn>9781316744581</eisbn><eisbn>1316744582</eisbn><abstract>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.</abstract><pub>Cambridge University Press</pub><doi>10.1017/9781316716816</doi><tpages>261</tpages></addata></record>
fulltext fulltext
identifier ISBN: 110716608X
ispartof
issn
language eng
recordid cdi_askewsholts_vlebooks_9781316744581
source Project Euclid Open Access
subjects Logic, Symbolic and mathematical
title Logic Colloquium '96
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T12%3A38%3A29IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-cambridge_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Logic%20Colloquium%20'96&rft.au=Larrazabal,%20J.%20M&rft.date=2017-03-02&rft.volume=12&rft.isbn=110716608X&rft.isbn_list=9781107166080&rft_id=info:doi/10.1017/9781316716816&rft_dat=%3Ccambridge_askew%3E10_1017_9781316716816%3C/cambridge_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=1316716813&rft.eisbn_list=9781316716816&rft.eisbn_list=1316731073&rft.eisbn_list=9781316731079&rft.eisbn_list=9781316744581&rft.eisbn_list=1316744582&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_cupid=10_1017_9781316716816&rfr_iscdi=true