Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Gespeichert in:
| Weitere Verfasser: | , , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
Springer Singapore
2021
Singapore Springer |
| Ausgabe: | 1st ed. 2021 |
| Schriftenreihe: | Springer Proceedings in Mathematics & Statistics
369 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FAB01 FHD01 FHN01 FHR01 FRO01 FWS01 FWS02 HTW01 TUM01 UBM01 UBT01 UBW01 UBY01 UEI01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource (XI, 229 p. 10 illus) |
| ISBN: | 9789811641732 |
| ISSN: | 2194-1017 |
| DOI: | 10.1007/978-981-16-4173-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047831464 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220211s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9789811641732 |c Online |9 978-981-1641-73-2 | ||
| 024 | 7 | |a 10.1007/978-981-16-4173-2 |2 doi | |
| 035 | |a (ZDB-2-SMA)9789811641732 | ||
| 035 | |a (OCoLC)1298749492 | ||
| 035 | |a (DE-599)BVBBV047831464 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-1043 |a DE-898 |a DE-861 |a DE-188 |a DE-523 |a DE-863 |a DE-1050 |a DE-20 |a DE-862 |a DE-92 |a DE-824 |a DE-703 |a DE-706 |a DE-739 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Advances in Mathematical Logic |b Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions |c edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka |
| 250 | |a 1st ed. 2021 | ||
| 264 | 1 | |a Singapore |b Springer Singapore |c 2021 | |
| 264 | 1 | |a Singapore |b Springer | |
| 300 | |a 1 Online-Ressource (XI, 229 p. 10 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer Proceedings in Mathematics & Statistics |v 369 |x 2194-1017 | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Arithmetic and Logic Structures | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Philosophy of Mathematics | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer arithmetic and logic units | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Mathematics—Philosophy | |
| 700 | 1 | |a Arai, Toshiyasu |4 edt | |
| 700 | 1 | |a Kikuchi, Makoto |4 edt | |
| 700 | 1 | |a Kuroda, Satoru |4 edt | |
| 700 | 1 | |a Okada, Mitsuhiro |4 edt | |
| 700 | 1 | |a Yorioka, Teruyuki |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-981-1641-72-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-981-1641-74-9 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-981-1641-75-6 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-16-4173-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q ZDB-2-SMA_2021 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033214698 | ||
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l FAB01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l FHD01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l FHN01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l FHR01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l FWS01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l FWS02 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l HTW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l UBY01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l UEI01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-16-4173-2 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 964422 |
|---|---|
| _version_ | 1806194951665483776 |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Arai, Toshiyasu Kikuchi, Makoto Kuroda, Satoru Okada, Mitsuhiro Yorioka, Teruyuki |
| author2_role | edt edt edt edt edt |
| author2_variant | t a ta m k mk s k sk m o mo t y ty |
| author_facet | Arai, Toshiyasu Kikuchi, Makoto Kuroda, Satoru Okada, Mitsuhiro Yorioka, Teruyuki |
| building | Verbundindex |
| bvnumber | BV047831464 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (ZDB-2-SMA)9789811641732 (OCoLC)1298749492 (DE-599)BVBBV047831464 |
| 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 |
| discipline_str_mv | Mathematik |
| doi_str_mv | 10.1007/978-981-16-4173-2 |
| edition | 1st ed. 2021 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03831nmm a2200781zcb4500</leader><controlfield tag="001">BV047831464</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220211s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811641732</subfield><subfield code="c">Online</subfield><subfield code="9">978-981-1641-73-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-981-16-4173-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)9789811641732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1298749492</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047831464</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in Mathematical Logic</subfield><subfield code="b">Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions</subfield><subfield code="c">edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer Singapore</subfield><subfield code="c">2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 229 p. 10 illus)</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">Springer Proceedings in Mathematics & Statistics</subfield><subfield code="v">369</subfield><subfield code="x">2194-1017</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Arithmetic and Logic Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer arithmetic and logic units</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics—Philosophy</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arai, Toshiyasu</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kikuchi, Makoto</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kuroda, Satoru</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Okada, Mitsuhiro</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yorioka, Teruyuki</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</subfield><subfield code="z">978-981-1641-72-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-981-1641-74-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-981-1641-75-6</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-981-16-4173-2</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-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2021</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033214698</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-16-4173-2</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-981-16-4173-2</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047831464 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T19:09:27Z |
| indexdate | 2024-08-01T16:15:35Z |
| institution | BVB |
| isbn | 9789811641732 |
| issn | 2194-1017 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033214698 |
| oclc_num | 1298749492 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1043 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-824 DE-703 DE-706 DE-739 DE-634 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1043 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-824 DE-703 DE-706 DE-739 DE-634 |
| physical | 1 Online-Ressource (XI, 229 p. 10 illus) |
| psigel | ZDB-2-SMA ZDB-2-SMA_2021 |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Singapore Springer |
| record_format | marc |
| series2 | Springer Proceedings in Mathematics & Statistics |
| spellingShingle | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions Mathematical Logic and Foundations Arithmetic and Logic Structures Mathematics of Computing Logic Philosophy of Mathematics Mathematical logic Computer arithmetic and logic units Computer science—Mathematics Mathematics—Philosophy |
| title | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions |
| title_auth | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions |
| title_exact_search | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions |
| title_exact_search_txtP | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions |
| title_full | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka |
| title_fullStr | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka |
| title_full_unstemmed | Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka |
| title_short | Advances in Mathematical Logic |
| title_sort | advances in mathematical logic dedicated to the memory of professor gaisi takeuti saml 2018 kobe japan september 2018 selected revised contributions |
| title_sub | Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions |
| topic | Mathematical Logic and Foundations Arithmetic and Logic Structures Mathematics of Computing Logic Philosophy of Mathematics Mathematical logic Computer arithmetic and logic units Computer science—Mathematics Mathematics—Philosophy |
| topic_facet | Mathematical Logic and Foundations Arithmetic and Logic Structures Mathematics of Computing Logic Philosophy of Mathematics Mathematical logic Computer arithmetic and logic units Computer science—Mathematics Mathematics—Philosophy |
| url | https://doi.org/10.1007/978-981-16-4173-2 |
| work_keys_str_mv | AT araitoshiyasu advancesinmathematicallogicdedicatedtothememoryofprofessorgaisitakeutisaml2018kobejapanseptember2018selectedrevisedcontributions AT kikuchimakoto advancesinmathematicallogicdedicatedtothememoryofprofessorgaisitakeutisaml2018kobejapanseptember2018selectedrevisedcontributions AT kurodasatoru advancesinmathematicallogicdedicatedtothememoryofprofessorgaisitakeutisaml2018kobejapanseptember2018selectedrevisedcontributions AT okadamitsuhiro advancesinmathematicallogicdedicatedtothememoryofprofessorgaisitakeutisaml2018kobejapanseptember2018selectedrevisedcontributions AT yoriokateruyuki advancesinmathematicallogicdedicatedtothememoryofprofessorgaisitakeutisaml2018kobejapanseptember2018selectedrevisedcontributions |