Logic Colloquium '90: ASL summer meeting in Helsinki
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Lecture Not...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture notes in logic
2 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Lecture Notes in Logic series, is the proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990. It contains eighteen papers by leading researchers, covering all fields of mathematical logic from the philosophy of mathematics, through model theory, proof theory, recursion theory, and set theory, to the connections of logic to computer science. The articles published here are still widely cited and continue to provide ideas for ongoing research projects |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 18 Apr 2017) |
| Beschreibung: | 1 online resource (viii, 305 pages) |
| ISBN: | 9781316718254 |
| DOI: | 10.1017/9781316718254 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044283897 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170425s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9781316718254 |9 978-1-316-71825-4 | ||
| 024 | 7 | |a 10.1017/9781316718254 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316718254 | ||
| 035 | |a (OCoLC)1031303953 | ||
| 035 | |a (DE-599)BVBBV044283897 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3 | |
| 110 | 2 | |a Logic Colloquium <1990, Helsinki, Finland> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '90 |b ASL summer meeting in Helsinki |c edited by Juha Oikkonen, Jouko Väänänen |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 online resource (viii, 305 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in logic |v 2 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 18 Apr 2017) | ||
| 520 | |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Lecture Notes in Logic series, is the proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990. It contains eighteen papers by leading researchers, covering all fields of mathematical logic from the philosophy of mathematics, through model theory, proof theory, recursion theory, and set theory, to the connections of logic to computer science. The articles published here are still widely cited and continue to provide ideas for ongoing research projects | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Oikkonen, J. (Juha) |d 1951- |4 edt | |
| 700 | 1 | |a Väänänen, J. (Jouko) |d 1950- |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardback |z 978-1-107-16902-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316718254 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029688201 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/9781316718254 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316718254 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177476545413120 |
|---|---|
| any_adam_object | |
| author2 | Oikkonen, J. (Juha) 1951- Väänänen, J. (Jouko) 1950- |
| author2_role | edt edt |
| author2_variant | j j o jj jjo j j v jj jjv |
| author_corporate | Logic Colloquium <1990, Helsinki, Finland> |
| author_corporate_role | aut |
| author_facet | Oikkonen, J. (Juha) 1951- Väänänen, J. (Jouko) 1950- Logic Colloquium <1990, Helsinki, Finland> |
| author_sort | Logic Colloquium <1990, Helsinki, Finland> |
| building | Verbundindex |
| bvnumber | BV044283897 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316718254 (OCoLC)1031303953 (DE-599)BVBBV044283897 |
| 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 |
| doi_str_mv | 10.1017/9781316718254 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02722nmm a2200481zcb4500</leader><controlfield tag="001">BV044283897</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170425s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316718254</subfield><subfield code="9">978-1-316-71825-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316718254</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316718254</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1031303953</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044283897</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <1990, Helsinki, Finland></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '90</subfield><subfield code="b">ASL summer meeting in Helsinki</subfield><subfield code="c">edited by Juha Oikkonen, Jouko Väänänen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 305 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">Lecture notes in logic</subfield><subfield code="v">2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 18 Apr 2017)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Lecture Notes in Logic series, is the proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990. It contains eighteen papers by leading researchers, covering all fields of mathematical logic from the philosophy of mathematics, through model theory, proof theory, recursion theory, and set theory, to the connections of logic to computer science. The articles published here are still widely cited and continue to provide ideas for ongoing research projects</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Oikkonen, J. (Juha)</subfield><subfield code="d">1951-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Väänänen, J. (Jouko)</subfield><subfield code="d">1950-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, hardback</subfield><subfield code="z">978-1-107-16902-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316718254</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029688201</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316718254</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316718254</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044283897 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:48:41Z |
| institution | BVB |
| isbn | 9781316718254 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029688201 |
| oclc_num | 1031303953 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (viii, 305 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Logic Colloquium <1990, Helsinki, Finland> Verfasser aut Logic Colloquium '90 ASL summer meeting in Helsinki edited by Juha Oikkonen, Jouko Väänänen Cambridge Cambridge University Press 2016 1 online resource (viii, 305 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in logic 2 Title from publisher's bibliographic system (viewed on 18 Apr 2017) Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Lecture Notes in Logic series, is the proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990. It contains eighteen papers by leading researchers, covering all fields of mathematical logic from the philosophy of mathematics, through model theory, proof theory, recursion theory, and set theory, to the connections of logic to computer science. The articles published here are still widely cited and continue to provide ideas for ongoing research projects Logic, Symbolic and mathematical / Congresses Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logik (DE-588)4036202-4 s 1\p DE-604 Oikkonen, J. (Juha) 1951- edt Väänänen, J. (Jouko) 1950- edt Erscheint auch als Druck-Ausgabe, hardback 978-1-107-16902-9 https://doi.org/10.1017/9781316718254 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic Colloquium '90 ASL summer meeting in Helsinki Logic, Symbolic and mathematical / Congresses Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)1071861417 |
| title | Logic Colloquium '90 ASL summer meeting in Helsinki |
| title_auth | Logic Colloquium '90 ASL summer meeting in Helsinki |
| title_exact_search | Logic Colloquium '90 ASL summer meeting in Helsinki |
| title_full | Logic Colloquium '90 ASL summer meeting in Helsinki edited by Juha Oikkonen, Jouko Väänänen |
| title_fullStr | Logic Colloquium '90 ASL summer meeting in Helsinki edited by Juha Oikkonen, Jouko Väänänen |
| title_full_unstemmed | Logic Colloquium '90 ASL summer meeting in Helsinki edited by Juha Oikkonen, Jouko Väänänen |
| title_short | Logic Colloquium '90 |
| title_sort | logic colloquium 90 asl summer meeting in helsinki |
| title_sub | ASL summer meeting in Helsinki |
| topic | Logic, Symbolic and mathematical / Congresses Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic, Symbolic and mathematical / Congresses Logik Konferenzschrift |
| url | https://doi.org/10.1017/9781316718254 |
| work_keys_str_mv | AT logiccolloquium1990helsinkifinland logiccolloquium90aslsummermeetinginhelsinki AT oikkonenjjuha logiccolloquium90aslsummermeetinginhelsinki AT vaananenjjouko logiccolloquium90aslsummermeetinginhelsinki |