Language in action: categories, lambdas and dynamic logic
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
MIT Press [u.a.]
1995
|
| Ausgabe: | 1. ed. |
| Schlagwörter: | |
| Umfang: | X, 365 S. |
| ISBN: | 0262720248 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010423952 | ||
| 003 | DE-604 | ||
| 005 | 19970122 | ||
| 007 | t| | ||
| 008 | 951011s1995 xx |||| 00||| eng d | ||
| 020 | |a 0262720248 |9 0-262-72024-8 | ||
| 035 | |a (OCoLC)32391915 | ||
| 035 | |a (DE-599)BVBBV010423952 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-91G |a DE-384 |a DE-19 | ||
| 050 | 0 | |a P39 | |
| 082 | 0 | |a 401/.43 |2 20 | |
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a ET 180 |0 (DE-625)27950: |2 rvk | ||
| 084 | |a DAT 555f |2 stub | ||
| 100 | 1 | |a Benthem, Johan van |d 1949- |e Verfasser |0 (DE-588)124543286 |4 aut | |
| 245 | 1 | 0 | |a Language in action |b categories, lambdas and dynamic logic |c Johan Van Benthem |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Cambridge |b MIT Press [u.a.] |c 1995 | |
| 300 | |a X, 365 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Categoriale grammatica |2 gtt | |
| 650 | 4 | |a Grammaire catégorielle | |
| 650 | 4 | |a Lambda-calcul | |
| 650 | 7 | |a Lambda-calculus |2 gtt | |
| 650 | 4 | |a Langage et logique | |
| 650 | 4 | |a Linguistique mathématique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Categorial grammar | |
| 650 | 4 | |a Lambda calculus | |
| 650 | 4 | |a Language and logic | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical linguistics | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sprachlogik |0 (DE-588)4182527-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grammatische Kategorie |0 (DE-588)4071984-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationsverarbeitung |0 (DE-588)4161678-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Sprachlogik |0 (DE-588)4182527-5 |D s |
| 689 | 2 | 1 | |a Informationsverarbeitung |0 (DE-588)4161678-9 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Grammatische Kategorie |0 (DE-588)4071984-4 |D s |
| 689 | 3 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006944794 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 555f 2001 A 7348 |
|---|---|
| DE-BY-TUM_katkey | 662543 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020003796 |
| _version_ | 1821931162166099969 |
| any_adam_object | |
| author | Benthem, Johan van 1949- |
| author_GND | (DE-588)124543286 |
| author_facet | Benthem, Johan van 1949- |
| author_role | aut |
| author_sort | Benthem, Johan van 1949- |
| author_variant | j v b jv jvb |
| building | Verbundindex |
| bvnumber | BV010423952 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P39 |
| callnumber-raw | P39 |
| callnumber-search | P39 |
| callnumber-sort | P 239 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | ER 620 ET 180 |
| classification_tum | DAT 555f |
| ctrlnum | (OCoLC)32391915 (DE-599)BVBBV010423952 |
| dewey-full | 401/.43 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401/.43 |
| dewey-search | 401/.43 |
| dewey-sort | 3401 243 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Informatik Literaturwissenschaft |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02834nam a2200757 c 4500</leader><controlfield tag="001">BV010423952</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970122 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951011s1995 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262720248</subfield><subfield code="9">0-262-72024-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32391915</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010423952</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P39</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401/.43</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 620</subfield><subfield code="0">(DE-625)27737:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 180</subfield><subfield code="0">(DE-625)27950:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124543286</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Language in action</subfield><subfield code="b">categories, lambdas and dynamic logic</subfield><subfield code="c">Johan Van Benthem</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">MIT Press [u.a.]</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 365 S.</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="650" ind1=" " ind2="7"><subfield code="a">Categoriale grammatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grammaire catégorielle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda-calcul</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lambda-calculus</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langage et logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistique mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categorial grammar</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language and logic</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">Mathematical linguistics</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">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grammatische Kategorie</subfield><subfield code="0">(DE-588)4071984-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="650" ind1="0" ind2="7"><subfield code="a">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationsverarbeitung</subfield><subfield code="0">(DE-588)4161678-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Informationsverarbeitung</subfield><subfield code="0">(DE-588)4161678-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Grammatische Kategorie</subfield><subfield code="0">(DE-588)4071984-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</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="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006944794</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV010423952 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:53:53Z |
| institution | BVB |
| isbn | 0262720248 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006944794 |
| oclc_num | 32391915 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM |
| owner_facet | DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM |
| physical | X, 365 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | MIT Press [u.a.] |
| record_format | marc |
| spellingShingle | Benthem, Johan van 1949- Language in action categories, lambdas and dynamic logic Categoriale grammatica gtt Grammaire catégorielle Lambda-calcul Lambda-calculus gtt Langage et logique Linguistique mathématique Logique symbolique et mathématique Categorial grammar Lambda calculus Language and logic Logic, Symbolic and mathematical Mathematical linguistics Logik (DE-588)4036202-4 gnd Sprachlogik (DE-588)4182527-5 gnd Grammatische Kategorie (DE-588)4071984-4 gnd Semantik (DE-588)4054490-4 gnd Kategorialgrammatik (DE-588)4263781-8 gnd Informationsverarbeitung (DE-588)4161678-9 gnd Lambda-Kalkül (DE-588)4166495-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4182527-5 (DE-588)4071984-4 (DE-588)4054490-4 (DE-588)4263781-8 (DE-588)4161678-9 (DE-588)4166495-4 (DE-588)4143413-4 |
| title | Language in action categories, lambdas and dynamic logic |
| title_auth | Language in action categories, lambdas and dynamic logic |
| title_exact_search | Language in action categories, lambdas and dynamic logic |
| title_full | Language in action categories, lambdas and dynamic logic Johan Van Benthem |
| title_fullStr | Language in action categories, lambdas and dynamic logic Johan Van Benthem |
| title_full_unstemmed | Language in action categories, lambdas and dynamic logic Johan Van Benthem |
| title_short | Language in action |
| title_sort | language in action categories lambdas and dynamic logic |
| title_sub | categories, lambdas and dynamic logic |
| topic | Categoriale grammatica gtt Grammaire catégorielle Lambda-calcul Lambda-calculus gtt Langage et logique Linguistique mathématique Logique symbolique et mathématique Categorial grammar Lambda calculus Language and logic Logic, Symbolic and mathematical Mathematical linguistics Logik (DE-588)4036202-4 gnd Sprachlogik (DE-588)4182527-5 gnd Grammatische Kategorie (DE-588)4071984-4 gnd Semantik (DE-588)4054490-4 gnd Kategorialgrammatik (DE-588)4263781-8 gnd Informationsverarbeitung (DE-588)4161678-9 gnd Lambda-Kalkül (DE-588)4166495-4 gnd |
| topic_facet | Categoriale grammatica Grammaire catégorielle Lambda-calcul Lambda-calculus Langage et logique Linguistique mathématique Logique symbolique et mathématique Categorial grammar Lambda calculus Language and logic Logic, Symbolic and mathematical Mathematical linguistics Logik Sprachlogik Grammatische Kategorie Semantik Kategorialgrammatik Informationsverarbeitung Lambda-Kalkül Aufsatzsammlung |
| work_keys_str_mv | AT benthemjohanvan languageinactioncategorieslambdasanddynamiclogic |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 555f 2001 A 7348 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |