Arnon Avron on semantics and proof theory of non-classical logics:
Gespeichert in:
Weitere Verfasser: | , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cham
Springer
[2021]
|
Schriftenreihe: | Outstanding contributions to logic
Volume 21 |
Schlagworte: | |
Beschreibung: | xxxix, 339 Seiten Illustrationen, Diagramme |
ISBN: | 9783030712600 9783030712570 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV049096779 | ||
003 | DE-604 | ||
005 | 20230922 | ||
007 | t | ||
008 | 230810s2021 a||| |||| 00||| eng d | ||
020 | |a 9783030712600 |c softcover |9 978-3-030-71260-0 | ||
020 | |a 9783030712570 |c hardcover |9 978-3-030-71257-0 | ||
035 | |a (OCoLC)1331839109 | ||
035 | |a (DE-599)BVBBV049096779 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-11 | ||
082 | 0 | |a 160 |2 23 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
245 | 1 | 0 | |a Arnon Avron on semantics and proof theory of non-classical logics |c Ofer Arieli, Anna Zamansky, editors |
264 | 1 | |a Cham |b Springer |c [2021] | |
264 | 4 | |c © 2021 | |
300 | |a xxxix, 339 Seiten |b Illustrationen, Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Outstanding contributions to logic |v Volume 21 | |
650 | 4 | |a Logic | |
650 | 4 | |a Philosophy, general | |
650 | 4 | |a Mathematical Logic and Foundations | |
650 | 4 | |a Computer Science, general | |
650 | 4 | |a Logic | |
650 | 4 | |a Philosophy | |
650 | 4 | |a Mathematical logic | |
650 | 4 | |a Computer science | |
700 | 1 | |a Arieli, Ofer |0 (DE-588)1187167436 |4 edt | |
700 | 1 | |a Zamansky, Anna |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-71258-7 |
830 | 0 | |a Outstanding contributions to logic |v Volume 21 |w (DE-604)BV041420236 |9 21 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-034358388 |
Datensatz im Suchindex
_version_ | 1804185438266589184 |
---|---|
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author2 | Arieli, Ofer Zamansky, Anna |
author2_role | edt edt |
author2_variant | o a oa a z az |
author_GND | (DE-588)1187167436 |
author_facet | Arieli, Ofer Zamansky, Anna |
building | Verbundindex |
bvnumber | BV049096779 |
classification_rvk | SK 130 |
ctrlnum | (OCoLC)1331839109 (DE-599)BVBBV049096779 |
dewey-full | 160 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 160 - Philosophical logic |
dewey-raw | 160 |
dewey-search | 160 |
dewey-sort | 3160 |
dewey-tens | 160 - Philosophical logic |
discipline | Mathematik Philosophie |
discipline_str_mv | Mathematik Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01466nam a2200445 cb4500</leader><controlfield tag="001">BV049096779</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230922 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">230810s2021 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030712600</subfield><subfield code="c">softcover</subfield><subfield code="9">978-3-030-71260-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030712570</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-3-030-71257-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1331839109</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049096779</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-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Arnon Avron on semantics and proof theory of non-classical logics</subfield><subfield code="c">Ofer Arieli, Anna Zamansky, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxxix, 339 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Outstanding contributions to logic</subfield><subfield code="v">Volume 21</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy, general</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">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</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 science</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arieli, Ofer</subfield><subfield code="0">(DE-588)1187167436</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zamansky, Anna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-71258-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Outstanding contributions to logic</subfield><subfield code="v">Volume 21</subfield><subfield code="w">(DE-604)BV041420236</subfield><subfield code="9">21</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034358388</subfield></datafield></record></collection> |
id | DE-604.BV049096779 |
illustrated | Illustrated |
index_date | 2024-07-03T22:31:31Z |
indexdate | 2024-07-10T09:55:14Z |
institution | BVB |
isbn | 9783030712600 9783030712570 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034358388 |
oclc_num | 1331839109 |
open_access_boolean | |
owner | DE-11 |
owner_facet | DE-11 |
physical | xxxix, 339 Seiten Illustrationen, Diagramme |
publishDate | 2021 |
publishDateSearch | 2021 |
publishDateSort | 2021 |
publisher | Springer |
record_format | marc |
series | Outstanding contributions to logic |
series2 | Outstanding contributions to logic |
spelling | Arnon Avron on semantics and proof theory of non-classical logics Ofer Arieli, Anna Zamansky, editors Cham Springer [2021] © 2021 xxxix, 339 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Outstanding contributions to logic Volume 21 Logic Philosophy, general Mathematical Logic and Foundations Computer Science, general Philosophy Mathematical logic Computer science Arieli, Ofer (DE-588)1187167436 edt Zamansky, Anna edt Erscheint auch als Online-Ausgabe 978-3-030-71258-7 Outstanding contributions to logic Volume 21 (DE-604)BV041420236 21 |
spellingShingle | Arnon Avron on semantics and proof theory of non-classical logics Outstanding contributions to logic Logic Philosophy, general Mathematical Logic and Foundations Computer Science, general Philosophy Mathematical logic Computer science |
title | Arnon Avron on semantics and proof theory of non-classical logics |
title_auth | Arnon Avron on semantics and proof theory of non-classical logics |
title_exact_search | Arnon Avron on semantics and proof theory of non-classical logics |
title_exact_search_txtP | Arnon Avron on semantics and proof theory of non-classical logics |
title_full | Arnon Avron on semantics and proof theory of non-classical logics Ofer Arieli, Anna Zamansky, editors |
title_fullStr | Arnon Avron on semantics and proof theory of non-classical logics Ofer Arieli, Anna Zamansky, editors |
title_full_unstemmed | Arnon Avron on semantics and proof theory of non-classical logics Ofer Arieli, Anna Zamansky, editors |
title_short | Arnon Avron on semantics and proof theory of non-classical logics |
title_sort | arnon avron on semantics and proof theory of non classical logics |
topic | Logic Philosophy, general Mathematical Logic and Foundations Computer Science, general Philosophy Mathematical logic Computer science |
topic_facet | Logic Philosophy, general Mathematical Logic and Foundations Computer Science, general Philosophy Mathematical logic Computer science |
volume_link | (DE-604)BV041420236 |
work_keys_str_mv | AT arieliofer arnonavrononsemanticsandprooftheoryofnonclassicallogics AT zamanskyanna arnonavrononsemanticsandprooftheoryofnonclassicallogics |