Logic Colloquium '84: proceedings of the colloquium held in Manchester, U.K., July 1984
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1986
|
| Schriftenreihe: | Studies in logic and foundations of mathematics
v. 120 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Includes one chapter in French This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (x, 377 pages) |
| ISBN: | 9780080960432 008096043X 9780444879998 0444879994 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317660 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1986 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080960432 |c electronic bk. |9 978-0-08-096043-2 | ||
| 020 | |a 008096043X |c electronic bk. |9 0-08-096043-X | ||
| 020 | |a 9780444879998 |c electronic bk. |9 978-0-444-87999-8 | ||
| 020 | |a 0444879994 |c electronic bk. |9 0-444-87999-4 | ||
| 035 | |a (ZDB-33-EBS)ocn316566831 | ||
| 035 | |a (OCoLC)316566831 | ||
| 035 | |a (DE-599)BVBBV042317660 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 110 | 2 | |a Logic Colloquium '84 <1984, Manchester> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '84 |b proceedings of the colloquium held in Manchester, U.K., July 1984 |c editors J.B. Paris, A.J. Wilkie, G.M. Wilmers |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1986 | |
| 300 | |a 1 Online-Ressource (x, 377 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and foundations of mathematics |v v. 120 | |
| 500 | |a Includes one chapter in French | ||
| 500 | |a This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Logique symbolique et mathématique / Congrès | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a MATHEMATICS / General |2 bisacsh | |
| 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 |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1984 |z Manchester |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Paris, J. B. |e Sonstige |4 oth | |
| 700 | 1 | |a Wilkie, A. J. |e Sonstige |4 oth | |
| 700 | 1 | |a Wilmers, G. M. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444879998 |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-027754651 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152914339430400 |
|---|---|
| any_adam_object | |
| author_corporate | Logic Colloquium '84 <1984, Manchester> |
| author_corporate_role | aut |
| author_facet | Logic Colloquium '84 <1984, Manchester> |
| author_sort | Logic Colloquium '84 <1984, Manchester> |
| building | Verbundindex |
| bvnumber | BV042317660 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316566831 (OCoLC)316566831 (DE-599)BVBBV042317660 |
| 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>02819nmm a2200601zcb4500</leader><controlfield tag="001">BV042317660</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1986 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080960432</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-096043-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">008096043X</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-096043-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444879998</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-444-87999-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444879994</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-444-87999-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316566831</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566831</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317660</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></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</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 '84 <1984, Manchester></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '84</subfield><subfield code="b">proceedings of the colloquium held in Manchester, U.K., July 1984</subfield><subfield code="c">editors J.B. Paris, A.J. Wilkie, G.M. Wilmers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 377 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">Studies in logic and foundations of mathematics</subfield><subfield code="v">v. 120</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes one chapter in French</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</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="7"><subfield code="a">MATHEMATICS / General</subfield><subfield code="2">bisacsh</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="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1984</subfield><subfield code="z">Manchester</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">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Paris, J. B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wilkie, A. J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wilmers, G. M.</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/9780444879998</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-027754651</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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 gnd-content 2\p (DE-588)1071861417 Konferenzschrift 1984 Manchester gnd-content |
| genre_facet | Konferenzschrift Konferenzschrift 1984 Manchester |
| id | DE-604.BV042317660 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780080960432 008096043X 9780444879998 0444879994 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754651 |
| oclc_num | 316566831 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (x, 377 pages) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and foundations of mathematics |
| spelling | Logic Colloquium '84 <1984, Manchester> Verfasser aut Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 editors J.B. Paris, A.J. Wilkie, G.M. Wilmers Amsterdam North-Holland 1986 1 Online-Ressource (x, 377 pages) txt rdacontent c rdamedia cr rdacarrier Studies in logic and foundations of mathematics v. 120 Includes one chapter in French This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines Includes bibliographical references Mathematical logic Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical fast MATHEMATICS / General bisacsh Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift gnd-content 2\p (DE-588)1071861417 Konferenzschrift 1984 Manchester gnd-content Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 Paris, J. B. Sonstige oth Wilkie, A. J. Sonstige oth Wilmers, G. M. Sonstige oth http://www.sciencedirect.com/science/book/9780444879998 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 Mathematical logic Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical fast MATHEMATICS / General bisacsh Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 |
| title_auth | Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 |
| title_exact_search | Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 |
| title_full | Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 editors J.B. Paris, A.J. Wilkie, G.M. Wilmers |
| title_fullStr | Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 editors J.B. Paris, A.J. Wilkie, G.M. Wilmers |
| title_full_unstemmed | Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 editors J.B. Paris, A.J. Wilkie, G.M. Wilmers |
| title_short | Logic Colloquium '84 |
| title_sort | logic colloquium 84 proceedings of the colloquium held in manchester u k july 1984 |
| title_sub | proceedings of the colloquium held in Manchester, U.K., July 1984 |
| topic | Mathematical logic Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical fast MATHEMATICS / General bisacsh Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematical logic Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical MATHEMATICS / General Mathematische Logik Konferenzschrift Konferenzschrift 1984 Manchester |
| url | http://www.sciencedirect.com/science/book/9780444879998 |
| work_keys_str_mv | AT logiccolloquium841984manchester logiccolloquium84proceedingsofthecolloquiumheldinmanchesterukjuly1984 AT parisjb logiccolloquium84proceedingsofthecolloquiumheldinmanchesterukjuly1984 AT wilkieaj logiccolloquium84proceedingsofthecolloquiumheldinmanchesterukjuly1984 AT wilmersgm logiccolloquium84proceedingsofthecolloquiumheldinmanchesterukjuly1984 |