Deductive systems and the decidability problem for hybrid logics:
Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Krakow
Jagiellonian University Press
2014
|
| Ausgabe: | First edition |
| Schlagworte: | |
| Online-Zugang: | BSB01 UBG01 Volltext |
| Zusammenfassung: | Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 31 May 2016) |
| Beschreibung: | 1 online resource (xiv, 215 pages) |
| ISBN: | 9788323390183 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043916518 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161202s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9788323390183 |c Online |9 978-83-233-9018-3 | ||
| 035 | |a (ZDB-20-CBO)CR9788323390183 | ||
| 035 | |a (OCoLC)967388315 | ||
| 035 | |a (DE-599)BVBBV043916518 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 100 | 1 | |a Zawidzki, Michal |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deductive systems and the decidability problem for hybrid logics |c Michał Zawidzki |
| 250 | |a First edition | ||
| 264 | 1 | |a Krakow |b Jagiellonian University Press |c 2014 | |
| 300 | |a 1 online resource (xiv, 215 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 31 May 2016) | ||
| 520 | |a Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity | ||
| 650 | 4 | |a Proof theory | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Deductive databases | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-83-233-3695-2 |
| 856 | 4 | 0 | |u http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029325600 | ||
| 966 | e | |u http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK |l UBG01 |p ZDB-20-CBO |q UBG_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176832926318592 |
|---|---|
| any_adam_object | |
| author | Zawidzki, Michal |
| author_facet | Zawidzki, Michal |
| author_role | aut |
| author_sort | Zawidzki, Michal |
| author_variant | m z mz |
| building | Verbundindex |
| bvnumber | BV043916518 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9788323390183 (OCoLC)967388315 (DE-599)BVBBV043916518 |
| 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 |
| edition | First edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01917nmm a2200409zc 4500</leader><controlfield tag="001">BV043916518</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161202s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788323390183</subfield><subfield code="c">Online</subfield><subfield code="9">978-83-233-9018-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9788323390183</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967388315</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043916518</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-12</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zawidzki, Michal</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deductive systems and the decidability problem for hybrid logics</subfield><subfield code="c">Michał Zawidzki</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Krakow</subfield><subfield code="b">Jagiellonian University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 215 pages)</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="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 31 May 2016)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</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">Deductive databases</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-83-233-3695-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK</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-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029325600</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBG_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043916518 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:38:27Z |
| institution | BVB |
| isbn | 9788323390183 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029325600 |
| oclc_num | 967388315 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG |
| owner_facet | DE-12 DE-473 DE-BY-UBG |
| physical | 1 online resource (xiv, 215 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO UBG_PDA_CBO |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Jagiellonian University Press |
| record_format | marc |
| spelling | Zawidzki, Michal Verfasser aut Deductive systems and the decidability problem for hybrid logics Michał Zawidzki First edition Krakow Jagiellonian University Press 2014 1 online resource (xiv, 215 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 31 May 2016) Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity Proof theory Logic, Symbolic and mathematical Deductive databases Erscheint auch als Druckausgabe 978-83-233-3695-2 http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Zawidzki, Michal Deductive systems and the decidability problem for hybrid logics Proof theory Logic, Symbolic and mathematical Deductive databases |
| title | Deductive systems and the decidability problem for hybrid logics |
| title_auth | Deductive systems and the decidability problem for hybrid logics |
| title_exact_search | Deductive systems and the decidability problem for hybrid logics |
| title_full | Deductive systems and the decidability problem for hybrid logics Michał Zawidzki |
| title_fullStr | Deductive systems and the decidability problem for hybrid logics Michał Zawidzki |
| title_full_unstemmed | Deductive systems and the decidability problem for hybrid logics Michał Zawidzki |
| title_short | Deductive systems and the decidability problem for hybrid logics |
| title_sort | deductive systems and the decidability problem for hybrid logics |
| topic | Proof theory Logic, Symbolic and mathematical Deductive databases |
| topic_facet | Proof theory Logic, Symbolic and mathematical Deductive databases |
| url | http://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK |
| work_keys_str_mv | AT zawidzkimichal deductivesystemsandthedecidabilityproblemforhybridlogics |