Language in action: categories, lambdas and dynamic logic
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1991
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
130 |
| Schlagwörter: | |
| Umfang: | X, 349 S. |
| ISBN: | 0444890009 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004359396 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 910604s1991 xx |||| 00||| engod | ||
| 020 | |a 0444890009 |9 0-444-89000-9 | ||
| 035 | |a (OCoLC)22957146 | ||
| 035 | |a (DE-599)BVBBV004359396 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-703 |a DE-739 |a DE-355 |a DE-29 |a DE-29T |a DE-706 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a P39 | |
| 082 | 0 | |a 415/.01 |2 20 | |
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a LIN 025f |2 stub | ||
| 084 | |a LIN 050f |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 |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1991 | |
| 300 | |a X, 349 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 130 | |
| 650 | 4 | |a Grammaire catégorielle | |
| 650 | 7 | |a Grammaire catégorielle |2 ram | |
| 650 | 4 | |a Lambda-calcul | |
| 650 | 7 | |a Lambda-calcul |2 ram | |
| 650 | 4 | |a Langage et logique | |
| 650 | 7 | |a Langage et logique |2 ram | |
| 650 | 4 | |a Linguistique mathématique | |
| 650 | 7 | |a Linguistique mathématique |2 ram | |
| 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 Grammatische Kategorie |0 (DE-588)4071984-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationsverarbeitung |0 (DE-588)4161678-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sprachlogik |0 (DE-588)4182527-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Grammatische Kategorie |0 (DE-588)4071984-4 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-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 | |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 | |5 DE-604 | |
| 689 | 3 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 3 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |D s |
| 689 | 4 | |5 DE-604 | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 130 |w (DE-604)BV000893472 |9 130 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002706866 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 555f 2001 A 7347 |
|---|---|
| DE-BY-TUM_katkey | 521467 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010651460 |
| _version_ | 1821937802646913024 |
| 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 | BV004359396 |
| 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 SK 130 |
| classification_tum | LIN 025f LIN 050f |
| ctrlnum | (OCoLC)22957146 (DE-599)BVBBV004359396 |
| dewey-full | 415/.01 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 415 - Grammar |
| dewey-raw | 415/.01 |
| dewey-search | 415/.01 |
| dewey-sort | 3415 11 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft Mathematik Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02867nam a2200781 cb4500</leader><controlfield tag="001">BV004359396</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">910604s1991 xx |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444890009</subfield><subfield code="9">0-444-89000-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22957146</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004359396</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P39</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">415/.01</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LIN 025f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LIN 050f</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="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 349 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="490" ind1="1" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">130</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grammaire catégorielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Grammaire catégorielle</subfield><subfield code="2">ram</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-calcul</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langage et logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langage et logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistique mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Linguistique mathématique</subfield><subfield code="2">ram</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">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">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="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">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">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">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">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><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">Grammatische Kategorie</subfield><subfield code="0">(DE-588)4071984-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="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="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="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">130</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">130</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002706866</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV004359396 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T08:17:04Z |
| institution | BVB |
| isbn | 0444890009 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002706866 |
| oclc_num | 22957146 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-29T DE-706 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-29T DE-706 DE-11 DE-188 |
| physical | X, 349 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | North-Holland |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spellingShingle | Benthem, Johan van 1949- Language in action categories, lambdas and dynamic logic Studies in logic and the foundations of mathematics Grammaire catégorielle Grammaire catégorielle ram Lambda-calcul Lambda-calcul ram Langage et logique Langage et logique ram Linguistique mathématique Linguistique mathématique ram Logique symbolique et mathématique Categorial grammar Lambda calculus Language and logic Logic, Symbolic and mathematical Mathematical linguistics Grammatische Kategorie (DE-588)4071984-4 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Informationsverarbeitung (DE-588)4161678-9 gnd Sprachlogik (DE-588)4182527-5 gnd Semantik (DE-588)4054490-4 gnd Logik (DE-588)4036202-4 gnd Kategorialgrammatik (DE-588)4263781-8 gnd |
| subject_GND | (DE-588)4071984-4 (DE-588)4166495-4 (DE-588)4161678-9 (DE-588)4182527-5 (DE-588)4054490-4 (DE-588)4036202-4 (DE-588)4263781-8 (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 | Grammaire catégorielle Grammaire catégorielle ram Lambda-calcul Lambda-calcul ram Langage et logique Langage et logique ram Linguistique mathématique Linguistique mathématique ram Logique symbolique et mathématique Categorial grammar Lambda calculus Language and logic Logic, Symbolic and mathematical Mathematical linguistics Grammatische Kategorie (DE-588)4071984-4 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Informationsverarbeitung (DE-588)4161678-9 gnd Sprachlogik (DE-588)4182527-5 gnd Semantik (DE-588)4054490-4 gnd Logik (DE-588)4036202-4 gnd Kategorialgrammatik (DE-588)4263781-8 gnd |
| topic_facet | Grammaire catégorielle Lambda-calcul Langage et logique Linguistique mathématique Logique symbolique et mathématique Categorial grammar Lambda calculus Language and logic Logic, Symbolic and mathematical Mathematical linguistics Grammatische Kategorie Lambda-Kalkül Informationsverarbeitung Sprachlogik Semantik Logik Kategorialgrammatik Aufsatzsammlung |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT benthemjohanvan languageinactioncategorieslambdasanddynamiclogic |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 555f 2001 A 7347 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |