Logic Colloquium 2004: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invi...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2007
|
| Schriftenreihe: | Lecture notes in logic
29 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invited talks. This volume includes surveys, tutorials, and selected research papers from the 2004 meeting. Highlights include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect 'abstract elementary classes' to issues around p-adic integration |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xii, 220 pages) |
| ISBN: | 9780511721151 |
| DOI: | 10.1017/CBO9780511721151 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043945992 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511721151 |c Online |9 978-0-511-72115-1 | ||
| 024 | 7 | |a 10.1017/CBO9780511721151 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511721151 | ||
| 035 | |a (OCoLC)967605777 | ||
| 035 | |a (DE-599)BVBBV043945992 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a SD 2004 |0 (DE-625)142738: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 110 | 2 | |a Logic Colloquium <2004, Torino, Italy> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium 2004 |b proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 |c edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2007 | |
| 300 | |a 1 online resource (xii, 220 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 29 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a Abstract elementary classes : some answers, more questions / John T. Baldwin -- On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah -- Zero-groups and maximal tori / Alessandro Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized local zeta functions / Raf Cluckers -- Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad -- Tolerance intersection properties and subalgebras of squares / Paolo Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension and weak truth-table reducibility / Frank Stephan -- Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri -- Constructible sheaves and definability / Ivan Tomašić -- An overview of modern universal algebra / Ross Willard | |
| 520 | |a The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invited talks. This volume includes surveys, tutorials, and selected research papers from the 2004 meeting. Highlights include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect 'abstract elementary classes' to issues around p-adic integration | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Andretta, Alessandro |d 1960- |4 edt | |
| 700 | 1 | |a Kearnes, Keith |4 edt | |
| 700 | 1 | |a Zambella, Domenico |4 edt | |
| 711 | 2 | |a Association for Symbolic Logic |a host institution |j Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-88424-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511721151 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029354963 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511721151 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511721151 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176892794765312 |
|---|---|
| any_adam_object | |
| author2 | Andretta, Alessandro 1960- Kearnes, Keith Zambella, Domenico |
| author2_role | edt edt edt |
| author2_variant | a a aa k k kk d z dz |
| author_corporate | Logic Colloquium <2004, Torino, Italy> |
| author_corporate_role | aut |
| author_facet | Andretta, Alessandro 1960- Kearnes, Keith Zambella, Domenico Logic Colloquium <2004, Torino, Italy> |
| author_sort | Logic Colloquium <2004, Torino, Italy> |
| building | Verbundindex |
| bvnumber | BV043945992 |
| classification_rvk | SD 2004 SK 130 |
| collection | ZDB-20-CBO |
| contents | Abstract elementary classes : some answers, more questions / John T. Baldwin -- On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah -- Zero-groups and maximal tori / Alessandro Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized local zeta functions / Raf Cluckers -- Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad -- Tolerance intersection properties and subalgebras of squares / Paolo Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension and weak truth-table reducibility / Frank Stephan -- Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri -- Constructible sheaves and definability / Ivan Tomašić -- An overview of modern universal algebra / Ross Willard |
| ctrlnum | (ZDB-20-CBO)CR9780511721151 (OCoLC)967605777 (DE-599)BVBBV043945992 |
| 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/CBO9780511721151 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03985nmm a2200541zcb4500</leader><controlfield tag="001">BV043945992</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511721151</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-72115-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511721151</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511721151</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967605777</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043945992</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><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 2004</subfield><subfield code="0">(DE-625)142738:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <2004, Torino, Italy></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium 2004</subfield><subfield code="b">proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004</subfield><subfield code="c">edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xii, 220 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">29</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Abstract elementary classes : some answers, more questions / John T. Baldwin -- On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah -- Zero-groups and maximal tori / Alessandro Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized local zeta functions / Raf Cluckers -- Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad -- Tolerance intersection properties and subalgebras of squares / Paolo Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension and weak truth-table reducibility / Frank Stephan -- Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri -- Constructible sheaves and definability / Ivan Tomašić -- An overview of modern universal algebra / Ross Willard</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invited talks. This volume includes surveys, tutorials, and selected research papers from the 2004 meeting. Highlights include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect 'abstract elementary classes' to issues around p-adic integration</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Andretta, Alessandro</subfield><subfield code="d">1960-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kearnes, Keith</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zambella, Domenico</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic</subfield><subfield code="a">host institution</subfield><subfield code="j">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-88424-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511721151</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-029354963</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511721151</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/CBO9780511721151</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.BV043945992 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:24Z |
| institution | BVB |
| isbn | 9780511721151 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029354963 |
| oclc_num | 967605777 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xii, 220 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Logic Colloquium <2004, Torino, Italy> Verfasser aut Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella Cambridge Cambridge University Press 2007 1 online resource (xii, 220 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 29 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Abstract elementary classes : some answers, more questions / John T. Baldwin -- On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah -- Zero-groups and maximal tori / Alessandro Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized local zeta functions / Raf Cluckers -- Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad -- Tolerance intersection properties and subalgebras of squares / Paolo Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension and weak truth-table reducibility / Frank Stephan -- Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri -- Constructible sheaves and definability / Ivan Tomašić -- An overview of modern universal algebra / Ross Willard The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invited talks. This volume includes surveys, tutorials, and selected research papers from the 2004 meeting. Highlights include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; and a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect 'abstract elementary classes' to issues around p-adic integration Logic, Symbolic and mathematical / Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Andretta, Alessandro 1960- edt Kearnes, Keith edt Zambella, Domenico edt Association for Symbolic Logic host institution Sonstige oth Erscheint auch als Druckausgabe 978-0-521-88424-2 https://doi.org/10.1017/CBO9780511721151 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 Abstract elementary classes : some answers, more questions / John T. Baldwin -- On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah -- Zero-groups and maximal tori / Alessandro Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized local zeta functions / Raf Cluckers -- Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad -- Tolerance intersection properties and subalgebras of squares / Paolo Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension and weak truth-table reducibility / Frank Stephan -- Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri -- Constructible sheaves and definability / Ivan Tomašić -- An overview of modern universal algebra / Ross Willard Logic, Symbolic and mathematical / Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 |
| title_auth | Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 |
| title_exact_search | Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 |
| title_full | Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella |
| title_fullStr | Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella |
| title_full_unstemmed | Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella |
| title_short | Logic Colloquium 2004 |
| title_sort | logic colloquium 2004 proceedings of the annual european summer meeting of the association for symbolic logic held in torino italy july 25 31 2004 |
| title_sub | proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 |
| topic | Logic, Symbolic and mathematical / Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical / Congresses Mathematische Logik Konferenzschrift |
| url | https://doi.org/10.1017/CBO9780511721151 |
| work_keys_str_mv | AT logiccolloquium2004torinoitaly logiccolloquium2004proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldintorinoitalyjuly25312004 AT andrettaalessandro logiccolloquium2004proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldintorinoitalyjuly25312004 AT kearneskeith logiccolloquium2004proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldintorinoitalyjuly25312004 AT zambelladomenico logiccolloquium2004proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldintorinoitalyjuly25312004 AT associationforsymboliclogichostinstitution logiccolloquium2004proceedingsoftheannualeuropeansummermeetingoftheassociationforsymboliclogicheldintorinoitalyjuly25312004 |