Logic Colloquium '87: proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1989
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 129 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (x, 375 p.) |
| ISBN: | 9780444880222 0444880224 9781435686991 1435686993 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317789 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1989 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444880222 |9 978-0-444-88022-2 | ||
| 020 | |a 0444880224 |9 0-444-88022-4 | ||
| 020 | |a 9781435686991 |c electronic bk. |9 978-1-4356-8699-1 | ||
| 020 | |a 1435686993 |c electronic bk. |9 1-4356-8699-3 | ||
| 035 | |a (ZDB-33-EBS)ocn316568621 | ||
| 035 | |a (OCoLC)316568621 | ||
| 035 | |a (DE-599)BVBBV042317789 | ||
| 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 <1987, Granada, Spain> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '87 |b proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 |c edited by H.-D. Ebbinghaus ... [et al.] |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1989 | |
| 300 | |a 1 Online-Ressource (x, 375 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. 129 | |
| 500 | |a Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 7 | |a Granada (1987) |2 swd | |
| 650 | 7 | |a Logique symbolique et mathématique / Congrès |2 ram | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Kongreß |2 swd | |
| 650 | 7 | |a Mathematische Logik |2 swd | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v 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 Ebbinghaus, Heinz-Dieter |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444880222 |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-027754780 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152914617303040 |
|---|---|
| any_adam_object | |
| author_corporate | Logic Colloquium <1987, Granada, Spain> |
| author_corporate_role | aut |
| author_facet | Logic Colloquium <1987, Granada, Spain> |
| author_sort | Logic Colloquium <1987, Granada, Spain> |
| building | Verbundindex |
| bvnumber | BV042317789 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316568621 (OCoLC)316568621 (DE-599)BVBBV042317789 |
| 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>02479nmm a2200577zcb4500</leader><controlfield tag="001">BV042317789</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1989 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444880222</subfield><subfield code="9">978-0-444-88022-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444880224</subfield><subfield code="9">0-444-88022-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781435686991</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4356-8699-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1435686993</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4356-8699-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316568621</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316568621</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317789</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 <1987, Granada, Spain></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '87</subfield><subfield code="b">proceedings of the Colloquium held in Granada, Spain July 20-25, 1987</subfield><subfield code="c">edited by H.-D. Ebbinghaus ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 375 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. 129</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conference proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Granada (1987)</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique / Congrès</subfield><subfield code="2">ram</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 / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kongreß</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">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">Ebbinghaus, Heinz-Dieter</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/9780444880222</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-027754780</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></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042317789 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444880222 0444880224 9781435686991 1435686993 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754780 |
| oclc_num | 316568621 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (x, 375 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Logic Colloquium <1987, Granada, Spain> Verfasser aut Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 edited by H.-D. Ebbinghaus ... [et al.] Amsterdam North-Holland 1989 1 Online-Ressource (x, 375 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 129 Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages Includes bibliographical references Conference proceedings fast Granada (1987) swd Logique symbolique et mathématique / Congrès ram Logic, Symbolic and mathematical fast MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Kongreß swd Mathematische Logik swd 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 Ebbinghaus, Heinz-Dieter Sonstige oth http://www.sciencedirect.com/science/book/9780444880222 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 Conference proceedings fast Granada (1987) swd Logique symbolique et mathématique / Congrès ram Logic, Symbolic and mathematical fast MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Kongreß swd Mathematische Logik swd Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 |
| title_auth | Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 |
| title_exact_search | Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 |
| title_full | Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 edited by H.-D. Ebbinghaus ... [et al.] |
| title_fullStr | Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 edited by H.-D. Ebbinghaus ... [et al.] |
| title_full_unstemmed | Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 edited by H.-D. Ebbinghaus ... [et al.] |
| title_short | Logic Colloquium '87 |
| title_sort | logic colloquium 87 proceedings of the colloquium held in granada spain july 20 25 1987 |
| title_sub | proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 |
| topic | Conference proceedings fast Granada (1987) swd Logique symbolique et mathématique / Congrès ram Logic, Symbolic and mathematical fast MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Kongreß swd Mathematische Logik swd Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Conference proceedings Granada (1987) Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical MATHEMATICS / Infinity MATHEMATICS / Logic Kongreß Mathematische Logik Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444880222 |
| work_keys_str_mv | AT logiccolloquium1987granadaspain logiccolloquium87proceedingsofthecolloquiumheldingranadaspainjuly20251987 AT ebbinghausheinzdieter logiccolloquium87proceedingsofthecolloquiumheldingranadaspainjuly20251987 |