Logic Colloquium '90 :: ASL Summer Meeting in Helsinki /
Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge :
Cambridge University Press,
2017.
|
| Schriftenreihe: | Lecture notes in logic ;
2. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers. |
| Beschreibung: | Resumen: 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: | 1 online resource |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9781316755099 1316755096 9781316749302 1316749304 1316753166 9781316753163 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn982287953 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 170413s2017 enk ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d EBLCP |d N$T |d YDX |d UIU |d OCLCF |d IDEBK |d UAB |d CHVBK |d OTZ |d OCLCQ |d OCLCO |d OCLCQ |d S9M |d OCLCL |d OCLCQ | ||
| 019 | |a 982351174 |a 982403574 |a 982420258 |a 982512009 |a 982626715 |a 983471828 |a 983740387 | ||
| 020 | |a 9781316755099 |q (electronic bk.) | ||
| 020 | |a 1316755096 |q (electronic bk.) | ||
| 020 | |a 9781316749302 | ||
| 020 | |a 1316749304 | ||
| 020 | |a 1316753166 | ||
| 020 | |a 9781316753163 | ||
| 020 | |z 9781107169029 | ||
| 020 | |z 110716902X | ||
| 035 | |a (OCoLC)982287953 |z (OCoLC)982351174 |z (OCoLC)982403574 |z (OCoLC)982420258 |z (OCoLC)982512009 |z (OCoLC)982626715 |z (OCoLC)983471828 |z (OCoLC)983740387 | ||
| 037 | |a 1005937 |b MIL | ||
| 050 | 4 | |a QA3 | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 082 | 7 | |a 510/.8 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Logic Colloquium. |0 http://id.loc.gov/authorities/names/n79106259 | |
| 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 2017. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic ; |v 2 | |
| 500 | |a Resumen: 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. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed April 18, 2017) | |
| 504 | |a Includes bibliographical references. | ||
| 520 | |a Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Lógica matemática |2 embne | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Oikkonen, J. |q (Juha), |d 1951- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PCjKBjgVv48CBHjkVGtR6PP |0 http://id.loc.gov/authorities/names/n93099230 | |
| 700 | 1 | |a Väänänen, Jouko, |e editor. |0 http://id.loc.gov/authorities/names/n88217124 | |
| 758 | |i has work: |a Logic Colloquium '90 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG9WHgFkqJbpHxXB6dR3Qq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Logic Colloquium. |t Logic Colloquium '90. |d Cambridge : Cambridge University Press, 2017 |z 110716902X |z 9781107169029 |w (OCoLC)959595510 |
| 830 | 0 | |a Lecture notes in logic ; |v 2. |0 http://id.loc.gov/authorities/names/n93082404 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475859 |3 Volltext |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL4812315 | ||
| 938 | |a EBSCOhost |b EBSC |n 1475859 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis38009354 | ||
| 938 | |a YBP Library Services |b YANK |n 14079051 | ||
| 938 | |a YBP Library Services |b YANK |n 13972511 | ||
| 938 | |a YBP Library Services |b YANK |n 14008068 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn982287953 |
|---|---|
| _version_ | 1816882385904467968 |
| adam_text | |
| any_adam_object | |
| author2 | Oikkonen, J. (Juha), 1951- Väänänen, Jouko |
| author2_role | edt edt |
| author2_variant | j o jo j v jv |
| author_GND | http://id.loc.gov/authorities/names/n93099230 http://id.loc.gov/authorities/names/n88217124 |
| author_corporate | Logic Colloquium |
| author_corporate_role | |
| author_facet | Oikkonen, J. (Juha), 1951- Väänänen, Jouko Logic Colloquium |
| author_sort | Logic Colloquium |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)982287953 |
| dewey-full | 510/.8 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510/.8 |
| dewey-search | 510/.8 |
| dewey-sort | 3510 18 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04222cam a2200709 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn982287953</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">170413s2017 enk ob 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">UIU</subfield><subfield code="d">OCLCF</subfield><subfield code="d">IDEBK</subfield><subfield code="d">UAB</subfield><subfield code="d">CHVBK</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">S9M</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">982351174</subfield><subfield code="a">982403574</subfield><subfield code="a">982420258</subfield><subfield code="a">982512009</subfield><subfield code="a">982626715</subfield><subfield code="a">983471828</subfield><subfield code="a">983740387</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316755099</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316755096</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316749302</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316749304</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316753166</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316753163</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781107169029</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">110716902X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)982287953</subfield><subfield code="z">(OCoLC)982351174</subfield><subfield code="z">(OCoLC)982403574</subfield><subfield code="z">(OCoLC)982420258</subfield><subfield code="z">(OCoLC)982512009</subfield><subfield code="z">(OCoLC)982626715</subfield><subfield code="z">(OCoLC)983471828</subfield><subfield code="z">(OCoLC)983740387</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">1005937</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA3</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">039000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">023000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">026000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510/.8</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n79106259</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">2017.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Resumen: 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="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed April 18, 2017)</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Essays.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Pre-Calculus.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática</subfield><subfield code="2">embne</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oikkonen, J.</subfield><subfield code="q">(Juha),</subfield><subfield code="d">1951-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjKBjgVv48CBHjkVGtR6PP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93099230</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Väänänen, Jouko,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88217124</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic Colloquium '90 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCG9WHgFkqJbpHxXB6dR3Qq</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Logic Colloquium.</subfield><subfield code="t">Logic Colloquium '90.</subfield><subfield code="d">Cambridge : Cambridge University Press, 2017</subfield><subfield code="z">110716902X</subfield><subfield code="z">9781107169029</subfield><subfield code="w">(OCoLC)959595510</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">2.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93082404</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475859</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL4812315</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1475859</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis38009354</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14079051</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">13972511</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14008068</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn982287953 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:27:47Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/n79106259 |
| isbn | 9781316755099 1316755096 9781316749302 1316749304 1316753166 9781316753163 |
| language | English |
| oclc_num | 982287953 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture notes in logic ; |
| spelling | Logic Colloquium. http://id.loc.gov/authorities/names/n79106259 Logic Colloquium '90 : ASL Summer Meeting in Helsinki / edited by Juha Oikkonen, Jouko Väänänen. Cambridge : Cambridge University Press, 2017. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in logic ; 2 Resumen: 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. Online resource; title from PDF title page (EBSCO, viewed April 18, 2017) Includes bibliographical references. Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Lógica matemática embne Logic, Symbolic and mathematical fast Conference papers and proceedings fast Oikkonen, J. (Juha), 1951- editor. https://id.oclc.org/worldcat/entity/E39PCjKBjgVv48CBHjkVGtR6PP http://id.loc.gov/authorities/names/n93099230 Väänänen, Jouko, editor. http://id.loc.gov/authorities/names/n88217124 has work: Logic Colloquium '90 (Text) https://id.oclc.org/worldcat/entity/E39PCG9WHgFkqJbpHxXB6dR3Qq https://id.oclc.org/worldcat/ontology/hasWork Print version: Logic Colloquium. Logic Colloquium '90. Cambridge : Cambridge University Press, 2017 110716902X 9781107169029 (OCoLC)959595510 Lecture notes in logic ; 2. http://id.loc.gov/authorities/names/n93082404 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475859 Volltext |
| spellingShingle | Logic Colloquium '90 : ASL Summer Meeting in Helsinki / Lecture notes in logic ; Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Lógica matemática embne Logic, Symbolic and mathematical fast |
| 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. Logique symbolique et mathématique Congrès. MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Lógica matemática embne Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Essays. MATHEMATICS Pre-Calculus. MATHEMATICS Reference. Lógica matemática Logic, Symbolic and mathematical Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475859 |
| work_keys_str_mv | AT logiccolloquium logiccolloquium90aslsummermeetinginhelsinki AT oikkonenj logiccolloquium90aslsummermeetinginhelsinki AT vaananenjouko logiccolloquium90aslsummermeetinginhelsinki |