Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Science+Business Media B.V.
2010
|
| Schriftenreihe: | Logic, Epistemology, and the Unity of Science
17 |
| Schlagworte: | |
| Online-Zugang: | HWR01 UBG01 UBR01 Volltext |
| Beschreibung: | 1 Online-Ressource v.: digital |
| ISBN: | 9789048188123 |
| DOI: | 10.1007/978-90-481-8812-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036620989 | ||
| 003 | DE-604 | ||
| 005 | 20100818 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 100702s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9789048188123 |9 978-90-481-8812-3 | ||
| 035 | |a (OCoLC)774007636 | ||
| 035 | |a (DE-599)BVBBV036620989 | ||
| 040 | |a DE-604 |b ger |e rak | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-2070s |a DE-355 |a DE-473 | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 100 | 1 | |a Duží, Marie |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Procedural Semantics for Hyperintensional Logic |b Foundations and Applications of Transparent Intensional Logic |c by Marie Duží, Bjorn Jespersen, Pavel Materna |
| 264 | 1 | |a Dordrecht |b Springer Science+Business Media B.V. |c 2010 | |
| 300 | |a 1 Online-Ressource |b v.: digital | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Logic, Epistemology, and the Unity of Science |v 17 | |
| 650 | 4 | |a Linguistik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Ontology | |
| 650 | 4 | |a Linguistics |x Philosophy | |
| 650 | 4 | |a Coding theory | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Coding and Information Theory | |
| 650 | 4 | |a Philosophy of Language | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Jespersen, Bjorn |e Sonstige |4 oth | |
| 700 | 1 | |a Materna, Pavel |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-90-481-8811-6 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-90-481-8812-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SHU | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020541019 | ||
| 883 | 1 | |8 1\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-90-481-8812-3 |l HWR01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-90-481-8812-3 |l UBG01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-90-481-8812-3 |l UBR01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804143231226609664 |
|---|---|
| any_adam_object | |
| author | Duží, Marie |
| author_facet | Duží, Marie |
| author_role | aut |
| author_sort | Duží, Marie |
| author_variant | m d md |
| building | Verbundindex |
| bvnumber | BV036620989 |
| classification_rvk | CC 2500 |
| collection | ZDB-2-SHU |
| ctrlnum | (OCoLC)774007636 (DE-599)BVBBV036620989 |
| discipline | Philosophie |
| doi_str_mv | 10.1007/978-90-481-8812-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02201nmm a2200577 c 4500</leader><controlfield tag="001">BV036620989</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100818 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">100702s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048188123</subfield><subfield code="9">978-90-481-8812-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)774007636</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036620989</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rak</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-2070s</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Duží, Marie</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Procedural Semantics for Hyperintensional Logic</subfield><subfield code="b">Foundations and Applications of Transparent Intensional Logic</subfield><subfield code="c">by Marie Duží, Bjorn Jespersen, Pavel Materna</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Science+Business Media B.V.</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield><subfield code="b">v.: digital</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">Logic, Epistemology, and the Unity of Science</subfield><subfield code="v">17</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ontology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Coding theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Coding and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy of Language</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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jespersen, Bjorn</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Materna, Pavel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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-90-481-8811-6</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-90-481-8812-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020541019</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-90-481-8812-3</subfield><subfield code="l">HWR01</subfield><subfield code="p">ZDB-2-SHU</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-90-481-8812-3</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SHU</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-90-481-8812-3</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV036620989 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:44:22Z |
| institution | BVB |
| isbn | 9789048188123 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020541019 |
| oclc_num | 774007636 |
| open_access_boolean | |
| owner | DE-2070s DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| owner_facet | DE-2070s DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource v.: digital |
| psigel | ZDB-2-SHU |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer Science+Business Media B.V. |
| record_format | marc |
| series2 | Logic, Epistemology, and the Unity of Science |
| spelling | Duží, Marie Verfasser aut Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic by Marie Duží, Bjorn Jespersen, Pavel Materna Dordrecht Springer Science+Business Media B.V. 2010 1 Online-Ressource v.: digital txt rdacontent c rdamedia cr rdacarrier Logic, Epistemology, and the Unity of Science 17 Linguistik Philosophie Philosophy (General) Logic Ontology Linguistics Philosophy Coding theory Semantics Philosophy Coding and Information Theory Philosophy of Language Logik (DE-588)4036202-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Logik (DE-588)4036202-4 s Semantik (DE-588)4054490-4 s 1\p DE-604 Jespersen, Bjorn Sonstige oth Materna, Pavel Sonstige oth Erscheint auch als Druckausgabe 978-90-481-8811-6 https://doi.org/10.1007/978-90-481-8812-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Duží, Marie Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic Linguistik Philosophie Philosophy (General) Logic Ontology Linguistics Philosophy Coding theory Semantics Philosophy Coding and Information Theory Philosophy of Language Logik (DE-588)4036202-4 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4054490-4 |
| title | Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic |
| title_auth | Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic |
| title_exact_search | Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic |
| title_full | Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic by Marie Duží, Bjorn Jespersen, Pavel Materna |
| title_fullStr | Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic by Marie Duží, Bjorn Jespersen, Pavel Materna |
| title_full_unstemmed | Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic by Marie Duží, Bjorn Jespersen, Pavel Materna |
| title_short | Procedural Semantics for Hyperintensional Logic |
| title_sort | procedural semantics for hyperintensional logic foundations and applications of transparent intensional logic |
| title_sub | Foundations and Applications of Transparent Intensional Logic |
| topic | Linguistik Philosophie Philosophy (General) Logic Ontology Linguistics Philosophy Coding theory Semantics Philosophy Coding and Information Theory Philosophy of Language Logik (DE-588)4036202-4 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Linguistik Philosophie Philosophy (General) Logic Ontology Linguistics Philosophy Coding theory Semantics Philosophy Coding and Information Theory Philosophy of Language Logik Semantik |
| url | https://doi.org/10.1007/978-90-481-8812-3 |
| work_keys_str_mv | AT duzimarie proceduralsemanticsforhyperintensionallogicfoundationsandapplicationsoftransparentintensionallogic AT jespersenbjorn proceduralsemanticsforhyperintensionallogicfoundationsandapplicationsoftransparentintensionallogic AT maternapavel proceduralsemanticsforhyperintensionallogicfoundationsandapplicationsoftransparentintensionallogic |