Advances in proof theory:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Birkhäuser
[2016]
|
| Schriftenreihe: | Progress in computer science and applied logic
volume 28 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Auf dem Umschlag: "Comprises contributions from the symposium "Advances in proof theory", which was held in Bern in December 2013." Literaturangaben |
| Beschreibung: | xii, 425 Seiten 23.5 cm x 15.5 cm |
| ISBN: | 3319291963 9783319291963 9783319291987 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV045493460 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 190228s2016 |||| 11||| eng d | ||
| 020 | |a 3319291963 |9 3-319-29196-3 | ||
| 020 | |a 9783319291963 |c ca. EUR 93.49 (AT) (freier Pr.), ca. sfr 113.50 (freier Pr.), ca. EUR 90.94 (DE) (freier Pr.), ca. EUR 89.66 (FR) (freier Pr.), ca. EUR 88.39 (IT) (freier Pr.), ca. EUR 90.09 (NL) (freier Pr.) |9 978-3-319-29196-3 | ||
| 020 | |a 9783319291987 |9 978-3-319-29198-7 | ||
| 035 | |a (OCoLC)953268145 | ||
| 035 | |a (DE-599)DNB108032089X | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 084 | |a 03-06 |2 msc | ||
| 111 | 2 | |a Advances in Proof Theory (Veranstaltung) |d 2013 |c Bern |j Verfasser |0 (DE-588)1102558753 |4 aut | |
| 245 | 1 | 0 | |a Advances in proof theory |c Reinhard Kahle, Thomas Strahm, Thomas Studer, editors |
| 264 | 1 | |a [Cham] |b Birkhäuser |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a xii, 425 Seiten |c 23.5 cm x 15.5 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Progress in computer science and applied logic |v volume 28 | |
| 500 | |a Auf dem Umschlag: "Comprises contributions from the symposium "Advances in proof theory", which was held in Bern in December 2013." | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kahle, Reinhard |d 1967- |0 (DE-588)123216826 |4 edt | |
| 700 | 1 | |a Strahm, Thomas |0 (DE-588)1103057448 |4 edt | |
| 700 | 1 | |a Studer, Thomas |d 1972- |0 (DE-588)1084131617 |4 edt | |
| 700 | 1 | |a Jäger, Gerhard |4 hnr | |
| 776 | 0 | |t Erscheint auch als Online-Ausgabe: Advances in Proof Theory | |
| 830 | 0 | |a Progress in computer science and applied logic |v volume 28 |w (DE-604)BV004157568 |9 28 | |
| 856 | 4 | 2 | |m B:X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=b23e38343ad841298d37bd7e34f61c72&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m V:DE-601;B:ZBM |q pdf/application |u http://zbmath.org/?q=an:1344.03002 |y Zentralblatt MATH |3 Inhaltstext |
| 856 | 4 | 2 | |m V:DE-601;B:DE-89 |q application/pdf |u http://www.gbv.de/dms/tib-ub-hannover/860830330.pdf |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030878283 | |
Datensatz im Suchindex
| _version_ | 1806414602474356736 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Kahle, Reinhard 1967- Strahm, Thomas Studer, Thomas 1972- |
| author2_role | edt edt edt |
| author2_variant | r k rk t s ts t s ts |
| author_GND | (DE-588)123216826 (DE-588)1103057448 (DE-588)1084131617 |
| author_corporate | Advances in Proof Theory (Veranstaltung) Bern |
| author_corporate_role | aut |
| author_facet | Kahle, Reinhard 1967- Strahm, Thomas Studer, Thomas 1972- Advances in Proof Theory (Veranstaltung) Bern |
| author_sort | Advances in Proof Theory (Veranstaltung) Bern |
| building | Verbundindex |
| bvnumber | BV045493460 |
| ctrlnum | (OCoLC)953268145 (DE-599)DNB108032089X |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV045493460</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">190228s2016 |||| 11||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3319291963</subfield><subfield code="9">3-319-29196-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319291963</subfield><subfield code="c">ca. EUR 93.49 (AT) (freier Pr.), ca. sfr 113.50 (freier Pr.), ca. EUR 90.94 (DE) (freier Pr.), ca. EUR 89.66 (FR) (freier Pr.), ca. EUR 88.39 (IT) (freier Pr.), ca. EUR 90.09 (NL) (freier Pr.)</subfield><subfield code="9">978-3-319-29196-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319291987</subfield><subfield code="9">978-3-319-29198-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)953268145</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB108032089X</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-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Advances in Proof Theory (Veranstaltung)</subfield><subfield code="d">2013</subfield><subfield code="c">Bern</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1102558753</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in proof theory</subfield><subfield code="c">Reinhard Kahle, Thomas Strahm, Thomas Studer, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 425 Seiten</subfield><subfield code="c">23.5 cm x 15.5 cm</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">Progress in computer science and applied logic</subfield><subfield code="v">volume 28</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auf dem Umschlag: "Comprises contributions from the symposium "Advances in proof theory", which was held in Bern in December 2013."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahle, Reinhard</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)123216826</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strahm, Thomas</subfield><subfield code="0">(DE-588)1103057448</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Studer, Thomas</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)1084131617</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jäger, Gerhard</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="t">Erscheint auch als Online-Ausgabe: Advances in Proof Theory</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">volume 28</subfield><subfield code="w">(DE-604)BV004157568</subfield><subfield code="9">28</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=b23e38343ad841298d37bd7e34f61c72&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-601;B:ZBM</subfield><subfield code="q">pdf/application</subfield><subfield code="u">http://zbmath.org/?q=an:1344.03002</subfield><subfield code="y">Zentralblatt MATH</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-601;B:DE-89</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://www.gbv.de/dms/tib-ub-hannover/860830330.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030878283</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV045493460 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-04T00:26:49Z |
| institution | BVB |
| institution_GND | (DE-588)1102558753 |
| isbn | 3319291963 9783319291963 9783319291987 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030878283 |
| oclc_num | 953268145 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xii, 425 Seiten 23.5 cm x 15.5 cm |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Birkhäuser |
| record_format | marc |
| series | Progress in computer science and applied logic |
| series2 | Progress in computer science and applied logic |
| spelling | Advances in Proof Theory (Veranstaltung) 2013 Bern Verfasser (DE-588)1102558753 aut Advances in proof theory Reinhard Kahle, Thomas Strahm, Thomas Studer, editors [Cham] Birkhäuser [2016] © 2016 xii, 425 Seiten 23.5 cm x 15.5 cm txt rdacontent n rdamedia nc rdacarrier Progress in computer science and applied logic volume 28 Auf dem Umschlag: "Comprises contributions from the symposium "Advances in proof theory", which was held in Bern in December 2013." Literaturangaben Beweistheorie (DE-588)4145177-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Beweistheorie (DE-588)4145177-6 s DE-604 Kahle, Reinhard 1967- (DE-588)123216826 edt Strahm, Thomas (DE-588)1103057448 edt Studer, Thomas 1972- (DE-588)1084131617 edt Jäger, Gerhard hnr Erscheint auch als Online-Ausgabe: Advances in Proof Theory Progress in computer science and applied logic volume 28 (DE-604)BV004157568 28 B:X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=b23e38343ad841298d37bd7e34f61c72&prov=M&dok_var=1&dok_ext=htm Inhaltstext V:DE-601;B:ZBM pdf/application http://zbmath.org/?q=an:1344.03002 Zentralblatt MATH Inhaltstext V:DE-601;B:DE-89 application/pdf http://www.gbv.de/dms/tib-ub-hannover/860830330.pdf Inhaltsverzeichnis |
| spellingShingle | Advances in proof theory Progress in computer science and applied logic Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)1071861417 |
| title | Advances in proof theory |
| title_auth | Advances in proof theory |
| title_exact_search | Advances in proof theory |
| title_full | Advances in proof theory Reinhard Kahle, Thomas Strahm, Thomas Studer, editors |
| title_fullStr | Advances in proof theory Reinhard Kahle, Thomas Strahm, Thomas Studer, editors |
| title_full_unstemmed | Advances in proof theory Reinhard Kahle, Thomas Strahm, Thomas Studer, editors |
| title_short | Advances in proof theory |
| title_sort | advances in proof theory |
| topic | Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie Konferenzschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=b23e38343ad841298d37bd7e34f61c72&prov=M&dok_var=1&dok_ext=htm http://zbmath.org/?q=an:1344.03002 http://www.gbv.de/dms/tib-ub-hannover/860830330.pdf |
| volume_link | (DE-604)BV004157568 |
| work_keys_str_mv | AT advancesinprooftheoryveranstaltungbern advancesinprooftheory AT kahlereinhard advancesinprooftheory AT strahmthomas advancesinprooftheory AT studerthomas advancesinprooftheory AT jagergerhard advancesinprooftheory |