Logic colloquium '85: proceedings of the colloquium held in Orsay, France July 1985
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English French |
| Published: |
Amsterdam
North-Holland
1987
|
| Series: | Studies in logic and the foundations of mathematics
v. 122 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | English and French text The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics Includes bibliographical references |
| Physical Description: | 1 Online-Ressource (xiii, 308 p.) |
| ISBN: | 9780444702111 0444702113 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317918 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1987 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444702111 |9 978-0-444-70211-1 | ||
| 020 | |a 0444702113 |9 0-444-70211-3 | ||
| 035 | |a (OCoLC)428095350 | ||
| 035 | |a (DE-599)BVBBV042317918 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng |a fre | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 110 | 2 | |a Logic Colloquium <1985, Orsay, France> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic colloquium '85 |b proceedings of the colloquium held in Orsay, France July 1985 |c edited by the Paris Logic Group |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1987 | |
| 300 | |a 1 Online-Ressource (xiii, 308 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 122 | |
| 500 | |a English and French text | ||
| 500 | |a The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 4 | |a Logique symbolique et mathématique / Congrès | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1985 |z Orsay |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 710 | 2 | |a Equipe de logique mathématique (Paris, France) |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444702111 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754909 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804152914899369984 |
|---|---|
| any_adam_object | |
| author_corporate | Logic Colloquium <1985, Orsay, France> |
| author_corporate_role | aut |
| author_facet | Logic Colloquium <1985, Orsay, France> |
| author_sort | Logic Colloquium <1985, Orsay, France> |
| building | Verbundindex |
| bvnumber | BV042317918 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428095350 (DE-599)BVBBV042317918 |
| 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 eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02505nmm a2200493zcb4500</leader><controlfield tag="001">BV042317918</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1987 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444702111</subfield><subfield code="9">978-0-444-70211-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444702113</subfield><subfield code="9">0-444-70211-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428095350</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317918</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <1985, Orsay, France></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic colloquium '85</subfield><subfield code="b">proceedings of the colloquium held in Orsay, France July 1985</subfield><subfield code="c">edited by the Paris Logic Group</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 308 p.)</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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 122</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">English and French text</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1985</subfield><subfield code="z">Orsay</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">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Equipe de logique mathématique (Paris, France)</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444702111</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754909</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="883" ind1="1" ind2=" "><subfield code="8">2\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></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1985 Orsay gnd-content |
| genre_facet | Konferenzschrift 1985 Orsay |
| id | DE-604.BV042317918 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444702111 0444702113 |
| language | English French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754909 |
| oclc_num | 428095350 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (xiii, 308 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Logic Colloquium <1985, Orsay, France> Verfasser aut Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 edited by the Paris Logic Group Amsterdam North-Holland 1987 1 Online-Ressource (xiii, 308 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 122 English and French text The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics Includes bibliographical references Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1985 Orsay gnd-content Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Equipe de logique mathématique (Paris, France) Sonstige oth http://www.sciencedirect.com/science/book/9780444702111 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 |
| title_auth | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 |
| title_exact_search | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 |
| title_full | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 edited by the Paris Logic Group |
| title_fullStr | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 edited by the Paris Logic Group |
| title_full_unstemmed | Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 edited by the Paris Logic Group |
| title_short | Logic colloquium '85 |
| title_sort | logic colloquium 85 proceedings of the colloquium held in orsay france july 1985 |
| title_sub | proceedings of the colloquium held in Orsay, France July 1985 |
| topic | Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical Mathematische Logik Konferenzschrift 1985 Orsay |
| url | http://www.sciencedirect.com/science/book/9780444702111 |
| work_keys_str_mv | AT logiccolloquium1985orsayfrance logiccolloquium85proceedingsofthecolloquiumheldinorsayfrancejuly1985 AT equipedelogiquemathematiqueparisfrance logiccolloquium85proceedingsofthecolloquiumheldinorsayfrancejuly1985 |