Logic Colloquium '88: proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
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. 127 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on ''Trends in Logic'' and ''The Teaching of Logic'' Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (viii, 403 p.) |
| ISBN: | 9780444874559 0444874550 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317661 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1989 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444874559 |9 978-0-444-87455-9 | ||
| 020 | |a 0444874550 |9 0-444-87455-0 | ||
| 035 | |a (ZDB-33-EBS)ocn316566832 | ||
| 035 | |a (OCoLC)316566832 | ||
| 035 | |a (DE-599)BVBBV042317661 | ||
| 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 <1988, Padova, Italy> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '88 |b proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 |c edited by R. Ferro ... [et al.] |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1989 | |
| 300 | |a 1 Online-Ressource (viii, 403 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. 127 | |
| 500 | |a The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on ''Trends in Logic'' and ''The Teaching of Logic'' | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 7 | |a Logique symbolique et mathématique / Congrès |2 ram | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 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 Ferro, R. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444874559 |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-027754652 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152914342576128 |
|---|---|
| any_adam_object | |
| author_corporate | Logic Colloquium <1988, Padova, Italy> |
| author_corporate_role | aut |
| author_facet | Logic Colloquium <1988, Padova, Italy> |
| author_sort | Logic Colloquium <1988, Padova, Italy> |
| building | Verbundindex |
| bvnumber | BV042317661 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316566832 (OCoLC)316566832 (DE-599)BVBBV042317661 |
| 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>02178nmm a2200493zcb4500</leader><controlfield tag="001">BV042317661</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">9780444874559</subfield><subfield code="9">978-0-444-87455-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444874550</subfield><subfield code="9">0-444-87455-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316566832</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566832</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317661</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 <1988, Padova, Italy></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '88</subfield><subfield code="b">proceedings of the Colloquium held in Padova, Italy August 22-31, 1988</subfield><subfield code="c">edited by R. Ferro ... [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 (viii, 403 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. 127</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on ''Trends in Logic'' and ''The Teaching of Logic''</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">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="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">Ferro, R.</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/9780444874559</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-027754652</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.BV042317661 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444874559 0444874550 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754652 |
| oclc_num | 316566832 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (viii, 403 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 <1988, Padova, Italy> Verfasser aut Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 edited by R. Ferro ... [et al.] Amsterdam North-Holland 1989 1 Online-Ressource (viii, 403 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 127 The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on ''Trends in Logic'' and ''The Teaching of Logic'' Includes bibliographical references Conference proceedings fast Logique symbolique et mathématique / Congrès ram Logic, Symbolic and mathematical fast 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 Ferro, R. Sonstige oth http://www.sciencedirect.com/science/book/9780444874559 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 Conference proceedings fast Logique symbolique et mathématique / Congrès ram Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 |
| title_auth | Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 |
| title_exact_search | Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 |
| title_full | Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 edited by R. Ferro ... [et al.] |
| title_fullStr | Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 edited by R. Ferro ... [et al.] |
| title_full_unstemmed | Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 edited by R. Ferro ... [et al.] |
| title_short | Logic Colloquium '88 |
| title_sort | logic colloquium 88 proceedings of the colloquium held in padova italy august 22 31 1988 |
| title_sub | proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 |
| topic | Conference proceedings fast Logique symbolique et mathématique / Congrès ram Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Conference proceedings Logique symbolique et mathématique / Congrès Logic, Symbolic and mathematical Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444874559 |
| work_keys_str_mv | AT logiccolloquium1988padovaitaly logiccolloquium88proceedingsofthecolloquiumheldinpadovaitalyaugust22311988 AT ferror logiccolloquium88proceedingsofthecolloquiumheldinpadovaitalyaugust22311988 |