Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meetin...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1999
|
| Schriftenreihe: | London Mathematical Society lecture note series
258 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (ix, 436 pages) |
| ISBN: | 9781107325944 |
| DOI: | 10.1017/CBO9781107325944 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043945984 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s1999 |||| o||u| ||||||eng d | ||
| 020 | |a 9781107325944 |c Online |9 978-1-107-32594-4 | ||
| 024 | 7 | |a 10.1017/CBO9781107325944 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781107325944 | ||
| 035 | |a (OCoLC)907964397 | ||
| 035 | |a (DE-599)BVBBV043945984 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3/22 |2 21 | |
| 084 | |a SD 1997 |0 (DE-625)142731: |2 rvk | ||
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 110 | 2 | |a Logic Colloquium <1997, Leeds, England> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Sets and proofs |b invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |c edited by S. Barry Cooper, John K. Truss |
| 246 | 1 | 3 | |a Sets & Proofs |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1999 | |
| 300 | |a 1 online resource (ix, 436 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 258 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch | |
| 520 | |a Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist | ||
| 650 | 4 | |a Set theory / Congresses | |
| 650 | 4 | |a Proof theory / 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 Cooper, S. B. |4 edt | |
| 700 | 1 | |a Truss, J. K. |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-63549-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9781107325944 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029354955 | ||
| 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/CBO9781107325944 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9781107325944 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176892762259456 |
|---|---|
| any_adam_object | |
| author2 | Cooper, S. B. Truss, J. K. |
| author2_role | edt edt |
| author2_variant | s b c sb sbc j k t jk jkt |
| author_corporate | Logic Colloquium <1997, Leeds, England> |
| author_corporate_role | aut |
| author_facet | Cooper, S. B. Truss, J. K. Logic Colloquium <1997, Leeds, England> |
| author_sort | Logic Colloquium <1997, Leeds, England> |
| building | Verbundindex |
| bvnumber | BV043945984 |
| classification_rvk | SD 1997 SI 320 SK 130 |
| collection | ZDB-20-CBO |
| contents | An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch |
| ctrlnum | (ZDB-20-CBO)CR9781107325944 (OCoLC)907964397 (DE-599)BVBBV043945984 |
| dewey-full | 511.3/22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/22 |
| dewey-search | 511.3/22 |
| dewey-sort | 3511.3 222 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/CBO9781107325944 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03895nmm a2200565zcb4500</leader><controlfield tag="001">BV043945984</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107325944</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-107-32594-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9781107325944</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781107325944</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)907964397</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043945984</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/22</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1997</subfield><subfield code="0">(DE-625)142731:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</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 <1997, Leeds, England></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets and proofs</subfield><subfield code="b">invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997</subfield><subfield code="c">edited by S. Barry Cooper, John K. Truss</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Sets & Proofs</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 436 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">London Mathematical Society lecture note series</subfield><subfield code="v">258</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">An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory / 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">Cooper, S. B.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Truss, J. K.</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-63549-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9781107325944</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-029354955</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/CBO9781107325944</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/CBO9781107325944</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.BV043945984 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:24Z |
| institution | BVB |
| isbn | 9781107325944 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029354955 |
| oclc_num | 907964397 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (ix, 436 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Logic Colloquium <1997, Leeds, England> Verfasser aut Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss Sets & Proofs Cambridge Cambridge University Press 1999 1 online resource (ix, 436 pages) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 258 Title from publisher's bibliographic system (viewed on 05 Oct 2015) An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist Set theory / Congresses Proof theory / 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 Cooper, S. B. edt Truss, J. K. edt Association for Symbolic Logic host institution Sonstige oth Erscheint auch als Druckausgabe 978-0-521-63549-3 https://doi.org/10.1017/CBO9781107325944 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch Set theory / Congresses Proof theory / Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_alt | Sets & Proofs |
| title_auth | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_exact_search | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_full | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss |
| title_fullStr | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss |
| title_full_unstemmed | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss |
| title_short | Sets and proofs |
| title_sort | sets and proofs invited papers from logic colloquium 97 european meeting of the association for symbolic logic leeds july 1997 |
| title_sub | invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| topic | Set theory / Congresses Proof theory / Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Set theory / Congresses Proof theory / Congresses Mathematische Logik Konferenzschrift |
| url | https://doi.org/10.1017/CBO9781107325944 |
| work_keys_str_mv | AT logiccolloquium1997leedsengland setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT coopersb setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT trussjk setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT associationforsymboliclogichostinstitution setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT logiccolloquium1997leedsengland setsproofs AT coopersb setsproofs AT trussjk setsproofs AT associationforsymboliclogichostinstitution setsproofs |