Logic Colloquium 2007 /:
"The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York : [La Jolla, Calif.] :
Cambridge University Press ; Association for Symbolic Logic,
2010.
|
| Schriftenreihe: | Lecture notes in logic ;
35. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic"-- |
| Beschreibung: | " ... held in Wrocław, Poland, from 14 to 19 July 2007"--Introduction |
| Beschreibung: | 1 online resource (xiii, 267 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9780511789311 0511789319 9780511786716 0511786719 9780511778421 0511778422 1107207886 9781107207882 1282740377 9781282740372 9786612740374 661274037X 0511788584 9780511788581 0511785577 9780511785573 0511787855 9780511787850 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn659739645 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100831s2010 enka ob 100 0 eng d | ||
| 010 | |z 2010013411 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d CDX |d OCLCQ |d E7B |d OCLCQ |d REDDC |d OCLCQ |d CAMBR |d IDEBK |d CAMBR |d YDXCP |d OCLCF |d OCLCO |d OL$ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d NJR |d OCLCQ |d UAB |d OCLCQ |d AU@ |d OCLCQ |d S8J |d OCL |d LUN |d OCLCQ |d OCLCO |d QGK |d AUW |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d OCLCL |d SFB |d OCLCQ | ||
| 015 | |a GBB030553. |2 bnb | ||
| 019 | |a 664682048 |a 680618684 |a 729018621 |a 826452914 |a 851929231 |a 1170403030 |a 1170566365 |a 1241799509 | ||
| 020 | |a 9780511789311 |q (electronic bk.) | ||
| 020 | |a 0511789319 |q (electronic bk.) | ||
| 020 | |a 9780511786716 |q (electronic bk.) | ||
| 020 | |a 0511786719 |q (electronic bk.) | ||
| 020 | |a 9780511778421 |q (electronic bk.) | ||
| 020 | |a 0511778422 |q (electronic bk.) | ||
| 020 | |z 9780521760652 | ||
| 020 | |z 0521760658 | ||
| 020 | |a 1107207886 | ||
| 020 | |a 9781107207882 | ||
| 020 | |a 1282740377 | ||
| 020 | |a 9781282740372 | ||
| 020 | |a 9786612740374 | ||
| 020 | |a 661274037X | ||
| 020 | |a 0511788584 | ||
| 020 | |a 9780511788581 | ||
| 020 | |a 0511785577 | ||
| 020 | |a 9780511785573 | ||
| 020 | |a 0511787855 | ||
| 020 | |a 9780511787850 | ||
| 024 | 8 | |a 9786612740374 | |
| 035 | |a (OCoLC)659739645 |z (OCoLC)664682048 |z (OCoLC)680618684 |z (OCoLC)729018621 |z (OCoLC)826452914 |z (OCoLC)851929231 |z (OCoLC)1170403030 |z (OCoLC)1170566365 |z (OCoLC)1241799509 | ||
| 037 | |a 274037 |b MIL | ||
| 050 | 4 | |a QA9.A1 |b L64 2007eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 082 | 7 | |a 511.3 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Logic Colloquium |d (2007 : |c Wrocław, Poland) | |
| 245 | 1 | 0 | |a Logic Colloquium 2007 / |c edited by Françoise Delon [and others]. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press ; |a [La Jolla, Calif.] : |b Association for Symbolic Logic, |c 2010. | ||
| 300 | |a 1 online resource (xiii, 267 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic ; |v 35 | |
| 504 | |a Includes bibliographical references. | ||
| 500 | |a " ... held in Wrocław, Poland, from 14 to 19 July 2007"--Introduction | ||
| 520 | |a "The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic"-- |c Provided by publisher | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover -- Contents -- Introduction -- Speakers And Titles -- Tutorials -- Invited Plenary Talks -- Lics Joint Long Talks -- Lics Joint Short Talks -- Special Session Set Theory -- Special Session Proof Complexity And Nonclassical Logics -- Special Session Philosophical And Applied Logic At The Jpl -- Special Session Logic And Analysis -- Special Session Model Theory -- Decorated Linear Order Types And The Theory Of Concatenation -- References -- Cardinal Preserving Elementary Embeddings -- References -- Proof Interpretations And Majorizability -- References -- Proof Mining In Practice -- References -- Cardinal Structure Under Ad -- References -- Three Lectures On Automatic Structures -- References -- PillayS Conjecture And Its Solution8212;A Survey -- References -- Proof Theory And Meaning: On The Context Of Deducibility -- References -- Bounded Super Real Closed Rings -- References -- Analytic Combinatorics Of The Transfinite: A Unifying Tauberian Perspective -- References. | |
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Delon, F. |q (Françoise) |1 https://id.oclc.org/worldcat/entity/E39PBJvH87qYwvfxBcHGjk94bd |0 http://id.loc.gov/authorities/names/n85128046 | |
| 710 | 2 | |a Association for Symbolic Logic. |0 http://id.loc.gov/authorities/names/n50054564 | |
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium (2007 : Wrocław, Poland). |t Logic Colloquium 2007. |d Cambridge ; New York : Cambridge University Press, 2010 |z 9780521760652 |w (OCoLC)528397716 |
| 830 | 0 | |a Lecture notes in logic ; |v 35. |0 http://id.loc.gov/authorities/names/n93082404 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=329337 |3 Volltext |
| 938 | |a Coutts Information Services |b COUT |n 14948690 |c 60.00 GBP | ||
| 938 | |a ebrary |b EBRY |n ebr10406668 | ||
| 938 | |a EBSCOhost |b EBSC |n 329337 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 274037 | ||
| 938 | |a YBP Library Services |b YANK |n 3402792 | ||
| 938 | |a YBP Library Services |b YANK |n 3441564 | ||
| 938 | |a YBP Library Services |b YANK |n 3688748 | ||
| 938 | |a YBP Library Services |b YANK |n 3408177 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn659739645 |
|---|---|
| _version_ | 1816881737770205184 |
| adam_text | |
| any_adam_object | |
| author2 | Delon, F. (Françoise) |
| author2_role | |
| author2_variant | f d fd |
| author_GND | http://id.loc.gov/authorities/names/n85128046 |
| author_corporate | Logic Colloquium Wrocław, Poland Association for Symbolic Logic |
| author_corporate_role | |
| author_facet | Delon, F. (Françoise) Logic Colloquium Wrocław, Poland Association for Symbolic Logic |
| author_sort | Logic Colloquium Wrocław, Poland |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 L64 2007eb |
| callnumber-search | QA9.A1 L64 2007eb |
| callnumber-sort | QA 19 A1 L64 42007EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Cover -- Contents -- Introduction -- Speakers And Titles -- Tutorials -- Invited Plenary Talks -- Lics Joint Long Talks -- Lics Joint Short Talks -- Special Session Set Theory -- Special Session Proof Complexity And Nonclassical Logics -- Special Session Philosophical And Applied Logic At The Jpl -- Special Session Logic And Analysis -- Special Session Model Theory -- Decorated Linear Order Types And The Theory Of Concatenation -- References -- Cardinal Preserving Elementary Embeddings -- References -- Proof Interpretations And Majorizability -- References -- Proof Mining In Practice -- References -- Cardinal Structure Under Ad -- References -- Three Lectures On Automatic Structures -- References -- PillayS Conjecture And Its Solution8212;A Survey -- References -- Proof Theory And Meaning: On The Context Of Deducibility -- References -- Bounded Super Real Closed Rings -- References -- Analytic Combinatorics Of The Transfinite: A Unifying Tauberian Perspective -- References. |
| ctrlnum | (OCoLC)659739645 |
| 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 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05755cam a2200913 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn659739645</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">100831s2010 enka ob 100 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2010013411</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">CDX</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">REDDC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CAMBR</subfield><subfield code="d">IDEBK</subfield><subfield code="d">CAMBR</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NJR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">S8J</subfield><subfield code="d">OCL</subfield><subfield code="d">LUN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">QGK</subfield><subfield code="d">AUW</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB030553.</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">664682048</subfield><subfield code="a">680618684</subfield><subfield code="a">729018621</subfield><subfield code="a">826452914</subfield><subfield code="a">851929231</subfield><subfield code="a">1170403030</subfield><subfield code="a">1170566365</subfield><subfield code="a">1241799509</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511789311</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511789319</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511786716</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511786719</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511778421</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511778422</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521760652</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521760658</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107207886</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107207882</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282740377</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282740372</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612740374</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">661274037X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511788584</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511788581</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511785577</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511785573</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511787855</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511787850</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786612740374</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)659739645</subfield><subfield code="z">(OCoLC)664682048</subfield><subfield code="z">(OCoLC)680618684</subfield><subfield code="z">(OCoLC)729018621</subfield><subfield code="z">(OCoLC)826452914</subfield><subfield code="z">(OCoLC)851929231</subfield><subfield code="z">(OCoLC)1170403030</subfield><subfield code="z">(OCoLC)1170566365</subfield><subfield code="z">(OCoLC)1241799509</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">274037</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield><subfield code="b">L64 2007eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PBCD</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">(2007 :</subfield><subfield code="c">Wrocław, Poland)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium 2007 /</subfield><subfield code="c">edited by Françoise Delon [and others].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press ;</subfield><subfield code="a">[La Jolla, Calif.] :</subfield><subfield code="b">Association for Symbolic Logic,</subfield><subfield code="c">2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiii, 267 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">35</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">" ... held in Wrocław, Poland, from 14 to 19 July 2007"--Introduction</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic"--</subfield><subfield code="c">Provided by publisher</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover -- Contents -- Introduction -- Speakers And Titles -- Tutorials -- Invited Plenary Talks -- Lics Joint Long Talks -- Lics Joint Short Talks -- Special Session Set Theory -- Special Session Proof Complexity And Nonclassical Logics -- Special Session Philosophical And Applied Logic At The Jpl -- Special Session Logic And Analysis -- Special Session Model Theory -- Decorated Linear Order Types And The Theory Of Concatenation -- References -- Cardinal Preserving Elementary Embeddings -- References -- Proof Interpretations And Majorizability -- References -- Proof Mining In Practice -- References -- Cardinal Structure Under Ad -- References -- Three Lectures On Automatic Structures -- References -- PillayS Conjecture And Its Solution8212;A Survey -- References -- Proof Theory And Meaning: On The Context Of Deducibility -- References -- Bounded Super Real Closed Rings -- References -- Analytic Combinatorics Of The Transfinite: A Unifying Tauberian Perspective -- References.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Delon, F.</subfield><subfield code="q">(Françoise)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJvH87qYwvfxBcHGjk94bd</subfield><subfield code="0">http://id.loc.gov/authorities/names/n85128046</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n50054564</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Logic Colloquium (2007 : Wrocław, Poland).</subfield><subfield code="t">Logic Colloquium 2007.</subfield><subfield code="d">Cambridge ; New York : Cambridge University Press, 2010</subfield><subfield code="z">9780521760652</subfield><subfield code="w">(OCoLC)528397716</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">35.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93082404</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=329337</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">14948690</subfield><subfield code="c">60.00 GBP</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10406668</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">329337</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">274037</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3402792</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3441564</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3688748</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3408177</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. Conference papers and proceedings fast |
| genre_facet | Electronic books. Conference papers and proceedings |
| id | ZDB-4-EBA-ocn659739645 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:29Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/n50054564 |
| isbn | 9780511789311 0511789319 9780511786716 0511786719 9780511778421 0511778422 1107207886 9781107207882 1282740377 9781282740372 9786612740374 661274037X 0511788584 9780511788581 0511785577 9780511785573 0511787855 9780511787850 |
| language | English |
| oclc_num | 659739645 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xiii, 267 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press ; Association for Symbolic Logic, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture notes in logic ; |
| spelling | Logic Colloquium (2007 : Wrocław, Poland) Logic Colloquium 2007 / edited by Françoise Delon [and others]. Cambridge ; New York : Cambridge University Press ; [La Jolla, Calif.] : Association for Symbolic Logic, 2010. 1 online resource (xiii, 267 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in logic ; 35 Includes bibliographical references. " ... held in Wrocław, Poland, from 14 to 19 July 2007"--Introduction "The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic"-- Provided by publisher Print version record. Cover -- Contents -- Introduction -- Speakers And Titles -- Tutorials -- Invited Plenary Talks -- Lics Joint Long Talks -- Lics Joint Short Talks -- Special Session Set Theory -- Special Session Proof Complexity And Nonclassical Logics -- Special Session Philosophical And Applied Logic At The Jpl -- Special Session Logic And Analysis -- Special Session Model Theory -- Decorated Linear Order Types And The Theory Of Concatenation -- References -- Cardinal Preserving Elementary Embeddings -- References -- Proof Interpretations And Majorizability -- References -- Proof Mining In Practice -- References -- Cardinal Structure Under Ad -- References -- Three Lectures On Automatic Structures -- References -- PillayS Conjecture And Its Solution8212;A Survey -- References -- Proof Theory And Meaning: On The Context Of Deducibility -- References -- Bounded Super Real Closed Rings -- References -- Analytic Combinatorics Of The Transfinite: A Unifying Tauberian Perspective -- References. English. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Electronic books. Conference papers and proceedings fast Delon, F. (Françoise) https://id.oclc.org/worldcat/entity/E39PBJvH87qYwvfxBcHGjk94bd http://id.loc.gov/authorities/names/n85128046 Association for Symbolic Logic. http://id.loc.gov/authorities/names/n50054564 Print version: Logic Colloquium (2007 : Wrocław, Poland). Logic Colloquium 2007. Cambridge ; New York : Cambridge University Press, 2010 9780521760652 (OCoLC)528397716 Lecture notes in logic ; 35. http://id.loc.gov/authorities/names/n93082404 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=329337 Volltext |
| spellingShingle | Logic Colloquium 2007 / Lecture notes in logic ; Cover -- Contents -- Introduction -- Speakers And Titles -- Tutorials -- Invited Plenary Talks -- Lics Joint Long Talks -- Lics Joint Short Talks -- Special Session Set Theory -- Special Session Proof Complexity And Nonclassical Logics -- Special Session Philosophical And Applied Logic At The Jpl -- Special Session Logic And Analysis -- Special Session Model Theory -- Decorated Linear Order Types And The Theory Of Concatenation -- References -- Cardinal Preserving Elementary Embeddings -- References -- Proof Interpretations And Majorizability -- References -- Proof Mining In Practice -- References -- Cardinal Structure Under Ad -- References -- Three Lectures On Automatic Structures -- References -- PillayS Conjecture And Its Solution8212;A Survey -- References -- Proof Theory And Meaning: On The Context Of Deducibility -- References -- Bounded Super Real Closed Rings -- References -- Analytic Combinatorics Of The Transfinite: A Unifying Tauberian Perspective -- References. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast |
| title | Logic Colloquium 2007 / |
| title_auth | Logic Colloquium 2007 / |
| title_exact_search | Logic Colloquium 2007 / |
| title_full | Logic Colloquium 2007 / edited by Françoise Delon [and others]. |
| title_fullStr | Logic Colloquium 2007 / edited by Françoise Delon [and others]. |
| title_full_unstemmed | Logic Colloquium 2007 / edited by Françoise Delon [and others]. |
| title_short | Logic Colloquium 2007 / |
| title_sort | logic colloquium 2007 |
| topic | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Electronic books. Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=329337 |
| work_keys_str_mv | AT logiccolloquiumwrocławpoland logiccolloquium2007 AT delonf logiccolloquium2007 AT associationforsymboliclogic logiccolloquium2007 |