Proof Theory and Algebra in Logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
Springer Singapore
2019
Singapore Springer |
| Ausgabe: | 1st ed. 2019 |
| Schriftenreihe: | Short Textbooks in Logic
|
| Schlagworte: | |
| Online-Zugang: | UBT01 Volltext |
| Beschreibung: | 1 Online-Ressource (VIII, 160 p. 4 illus) |
| ISBN: | 9789811379970 |
| ISSN: | 2522-5480 |
| DOI: | 10.1007/978-981-13-7997-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046137194 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190903s2019 |||| o||u| ||||||eng d | ||
| 020 | |a 9789811379970 |c Online |9 978-981-137-997-0 | ||
| 024 | 7 | |a 10.1007/978-981-13-7997-0 |2 doi | |
| 035 | |a (ZDB-2-REP)9789811379970 | ||
| 035 | |a (OCoLC)1119010811 | ||
| 035 | |a (DE-599)BVBBV046137194 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Ono, Hiroakira |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proof Theory and Algebra in Logic |c by Hiroakira Ono |
| 250 | |a 1st ed. 2019 | ||
| 264 | 1 | |a Singapore |b Springer Singapore |c 2019 | |
| 264 | 1 | |a Singapore |b Springer | |
| 300 | |a 1 Online-Ressource (VIII, 160 p. 4 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Short Textbooks in Logic |x 2522-5480 | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Order, Lattices, Ordered Algebraic Structures | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Algebra | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | 2 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-981-137-996-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-981-137-998-7 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-13-7997-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-REP | ||
| 940 | 1 | |q ZDB-2-REP_2019_Fremddaten | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031517494 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-981-13-7997-0 |l UBT01 |p ZDB-2-REP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180465870962688 |
|---|---|
| any_adam_object | |
| author | Ono, Hiroakira |
| author_facet | Ono, Hiroakira |
| author_role | aut |
| author_sort | Ono, Hiroakira |
| author_variant | h o ho |
| building | Verbundindex |
| bvnumber | BV046137194 |
| classification_rvk | SK 130 CC 2600 |
| collection | ZDB-2-REP |
| ctrlnum | (ZDB-2-REP)9789811379970 (OCoLC)1119010811 (DE-599)BVBBV046137194 |
| 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 |
| doi_str_mv | 10.1007/978-981-13-7997-0 |
| edition | 1st ed. 2019 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02380nmm a2200637zcb4500</leader><controlfield tag="001">BV046137194</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190903s2019 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811379970</subfield><subfield code="c">Online</subfield><subfield code="9">978-981-137-997-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-981-13-7997-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-REP)9789811379970</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1119010811</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046137194</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-703</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="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ono, Hiroakira</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof Theory and Algebra in Logic</subfield><subfield code="c">by Hiroakira Ono</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2019</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer Singapore</subfield><subfield code="c">2019</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 (VIII, 160 p. 4 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">Short Textbooks in Logic</subfield><subfield code="x">2522-5480</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</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">Order, Lattices, Ordered Algebraic Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</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="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</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-137-996-3</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-137-998-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-981-13-7997-0</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-REP</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-REP_2019_Fremddaten</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031517494</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="883" ind1="1" ind2=" "><subfield code="8">2\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.1007/978-981-13-7997-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-REP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV046137194 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:36:12Z |
| institution | BVB |
| isbn | 9789811379970 |
| issn | 2522-5480 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031517494 |
| oclc_num | 1119010811 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | 1 Online-Ressource (VIII, 160 p. 4 illus) |
| psigel | ZDB-2-REP ZDB-2-REP_2019_Fremddaten |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer Singapore Springer |
| record_format | marc |
| series2 | Short Textbooks in Logic |
| spelling | Ono, Hiroakira Verfasser aut Proof Theory and Algebra in Logic by Hiroakira Ono 1st ed. 2019 Singapore Springer Singapore 2019 Singapore Springer 1 Online-Ressource (VIII, 160 p. 4 illus) txt rdacontent c rdamedia cr rdacarrier Short Textbooks in Logic 2522-5480 Logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures Computer science Logic, Symbolic and mathematical Algebra Beweistheorie (DE-588)4145177-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s Beweistheorie (DE-588)4145177-6 s Algebra (DE-588)4001156-2 s 2\p DE-604 Erscheint auch als Druck-Ausgabe 978-981-137-996-3 Erscheint auch als Druck-Ausgabe 978-981-137-998-7 https://doi.org/10.1007/978-981-13-7997-0 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Ono, Hiroakira Proof Theory and Algebra in Logic Logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures Computer science Logic, Symbolic and mathematical Algebra Beweistheorie (DE-588)4145177-6 gnd Logik (DE-588)4036202-4 gnd Algebra (DE-588)4001156-2 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)4036202-4 (DE-588)4001156-2 (DE-588)4123623-3 |
| title | Proof Theory and Algebra in Logic |
| title_auth | Proof Theory and Algebra in Logic |
| title_exact_search | Proof Theory and Algebra in Logic |
| title_full | Proof Theory and Algebra in Logic by Hiroakira Ono |
| title_fullStr | Proof Theory and Algebra in Logic by Hiroakira Ono |
| title_full_unstemmed | Proof Theory and Algebra in Logic by Hiroakira Ono |
| title_short | Proof Theory and Algebra in Logic |
| title_sort | proof theory and algebra in logic |
| topic | Logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures Computer science Logic, Symbolic and mathematical Algebra Beweistheorie (DE-588)4145177-6 gnd Logik (DE-588)4036202-4 gnd Algebra (DE-588)4001156-2 gnd |
| topic_facet | Logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures Computer science Logic, Symbolic and mathematical Algebra Beweistheorie Logik Lehrbuch |
| url | https://doi.org/10.1007/978-981-13-7997-0 |
| work_keys_str_mv | AT onohiroakira prooftheoryandalgebrainlogic |