Type theoretical grammar:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1994
|
| Schriftenreihe: | Indices
1 |
| Schlagworte: | |
| Beschreibung: | Includes index |
| Beschreibung: | XII, 226 S. graph. Darst. |
| ISBN: | 019853857X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010033361 | ||
| 003 | DE-604 | ||
| 005 | 19950717 | ||
| 007 | t | ||
| 008 | 950208s1994 d||| |||| 00||| eng d | ||
| 020 | |a 019853857X |9 0-19-853857-X | ||
| 035 | |a (OCoLC)31291468 | ||
| 035 | |a (DE-599)BVBBV010033361 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-739 |a DE-12 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a P151 | |
| 082 | 0 | |a 415 |2 20 | |
| 084 | |a CC 4800 |0 (DE-625)17631: |2 rvk | ||
| 084 | |a CI 6617 |0 (DE-625)18549:11616 |2 rvk | ||
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a ET 180 |0 (DE-625)27950: |2 rvk | ||
| 084 | |a HF 184 |0 (DE-625)48788: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Ranta, Aarne |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Type theoretical grammar |c Aarne Ranta |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1994 | |
| 300 | |a XII, 226 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Indices |v 1 | |
| 500 | |a Includes index | ||
| 650 | 7 | |a Formele logica |2 gtt | |
| 650 | 7 | |a Langage et logique |2 ram | |
| 650 | 7 | |a Langage naturel, Traitement du (informatique) |2 ram | |
| 650 | 7 | |a Natuurlijke taal |2 gtt | |
| 650 | 7 | |a Sémantique (philosophie) |2 ram | |
| 650 | 7 | |a anaphore |2 inriac | |
| 650 | 7 | |a grammaire formelle |2 inriac | |
| 650 | 7 | |a linguistique |2 inriac | |
| 650 | 7 | |a quantification |2 inriac | |
| 650 | 7 | |a temps |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Grammatik | |
| 650 | 4 | |a Grammar, Comparative and general | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 4 | |a Type theory | |
| 650 | 0 | 7 | |a Englisch |0 (DE-588)4014777-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grammatik |0 (DE-588)4021806-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Linguistik |0 (DE-588)4074250-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sprachphilosophie |0 (DE-588)4056486-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 0 | 1 | |a Sprachphilosophie |0 (DE-588)4056486-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 1 | 1 | |a Linguistik |0 (DE-588)4074250-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Englisch |0 (DE-588)4014777-0 |D s |
| 689 | 2 | 1 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |D s |
| 689 | 2 | 2 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 3 | 1 | |a Grammatik |0 (DE-588)4021806-5 |D s |
| 689 | 3 | |5 DE-188 | |
| 830 | 0 | |a Indices |v 1 |w (DE-604)BV010033344 |9 1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006653132 | ||
Datensatz im Suchindex
| _version_ | 1804124414297505792 |
|---|---|
| any_adam_object | |
| author | Ranta, Aarne |
| author_facet | Ranta, Aarne |
| author_role | aut |
| author_sort | Ranta, Aarne |
| author_variant | a r ar |
| building | Verbundindex |
| bvnumber | BV010033361 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P151 |
| callnumber-raw | P151 |
| callnumber-search | P151 |
| callnumber-sort | P 3151 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | CC 4800 CI 6617 ER 620 ET 180 HF 184 |
| ctrlnum | (OCoLC)31291468 (DE-599)BVBBV010033361 |
| dewey-full | 415 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 415 - Grammar |
| dewey-raw | 415 |
| dewey-search | 415 |
| dewey-sort | 3415 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft Anglistik / Amerikanistik Philosophie Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02672nam a2200805 cb4500</leader><controlfield tag="001">BV010033361</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950717 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950208s1994 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">019853857X</subfield><subfield code="9">0-19-853857-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31291468</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010033361</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-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P151</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">415</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4800</subfield><subfield code="0">(DE-625)17631:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6617</subfield><subfield code="0">(DE-625)18549:11616</subfield><subfield code="2">rvk</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">HF 184</subfield><subfield code="0">(DE-625)48788:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ranta, Aarne</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Type theoretical grammar</subfield><subfield code="c">Aarne Ranta</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 226 S.</subfield><subfield code="b">graph. Darst.</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">Indices</subfield><subfield code="v">1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formele logica</subfield><subfield code="2">gtt</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="7"><subfield code="a">Langage naturel, Traitement du (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Natuurlijke taal</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sémantique (philosophie)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">anaphore</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">linguistique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">quantification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">temps</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grammatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grammar, Comparative and general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Type theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Englisch</subfield><subfield code="0">(DE-588)4014777-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grammatik</subfield><subfield code="0">(DE-588)4021806-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</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">Sprachphilosophie</subfield><subfield code="0">(DE-588)4056486-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Sprachphilosophie</subfield><subfield code="0">(DE-588)4056486-1</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">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</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">Englisch</subfield><subfield code="0">(DE-588)4014777-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</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">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Grammatik</subfield><subfield code="0">(DE-588)4021806-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Indices</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV010033344</subfield><subfield code="9">1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006653132</subfield></datafield></record></collection> |
| id | DE-604.BV010033361 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:45:17Z |
| institution | BVB |
| isbn | 019853857X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006653132 |
| oclc_num | 31291468 |
| open_access_boolean | |
| owner | DE-29 DE-739 DE-12 DE-11 DE-188 |
| owner_facet | DE-29 DE-739 DE-12 DE-11 DE-188 |
| physical | XII, 226 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Indices |
| series2 | Indices |
| spelling | Ranta, Aarne Verfasser aut Type theoretical grammar Aarne Ranta Oxford Clarendon Press 1994 XII, 226 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Indices 1 Includes index Formele logica gtt Langage et logique ram Langage naturel, Traitement du (informatique) ram Natuurlijke taal gtt Sémantique (philosophie) ram anaphore inriac grammaire formelle inriac linguistique inriac quantification inriac temps inriac théorie type inriac Grammatik Grammar, Comparative and general Logic Semantics (Philosophy) Type theory Englisch (DE-588)4014777-0 gnd rswk-swf Grammatik (DE-588)4021806-5 gnd rswk-swf Linguistik (DE-588)4074250-7 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Kategorialgrammatik (DE-588)4263781-8 gnd rswk-swf Sprachphilosophie (DE-588)4056486-1 gnd rswk-swf Typentheorie (DE-588)4121795-0 s Sprachphilosophie (DE-588)4056486-1 s DE-604 Linguistik (DE-588)4074250-7 s Englisch (DE-588)4014777-0 s Kategorialgrammatik (DE-588)4263781-8 s Grammatik (DE-588)4021806-5 s DE-188 Indices 1 (DE-604)BV010033344 1 |
| spellingShingle | Ranta, Aarne Type theoretical grammar Indices Formele logica gtt Langage et logique ram Langage naturel, Traitement du (informatique) ram Natuurlijke taal gtt Sémantique (philosophie) ram anaphore inriac grammaire formelle inriac linguistique inriac quantification inriac temps inriac théorie type inriac Grammatik Grammar, Comparative and general Logic Semantics (Philosophy) Type theory Englisch (DE-588)4014777-0 gnd Grammatik (DE-588)4021806-5 gnd Linguistik (DE-588)4074250-7 gnd Typentheorie (DE-588)4121795-0 gnd Kategorialgrammatik (DE-588)4263781-8 gnd Sprachphilosophie (DE-588)4056486-1 gnd |
| subject_GND | (DE-588)4014777-0 (DE-588)4021806-5 (DE-588)4074250-7 (DE-588)4121795-0 (DE-588)4263781-8 (DE-588)4056486-1 |
| title | Type theoretical grammar |
| title_auth | Type theoretical grammar |
| title_exact_search | Type theoretical grammar |
| title_full | Type theoretical grammar Aarne Ranta |
| title_fullStr | Type theoretical grammar Aarne Ranta |
| title_full_unstemmed | Type theoretical grammar Aarne Ranta |
| title_short | Type theoretical grammar |
| title_sort | type theoretical grammar |
| topic | Formele logica gtt Langage et logique ram Langage naturel, Traitement du (informatique) ram Natuurlijke taal gtt Sémantique (philosophie) ram anaphore inriac grammaire formelle inriac linguistique inriac quantification inriac temps inriac théorie type inriac Grammatik Grammar, Comparative and general Logic Semantics (Philosophy) Type theory Englisch (DE-588)4014777-0 gnd Grammatik (DE-588)4021806-5 gnd Linguistik (DE-588)4074250-7 gnd Typentheorie (DE-588)4121795-0 gnd Kategorialgrammatik (DE-588)4263781-8 gnd Sprachphilosophie (DE-588)4056486-1 gnd |
| topic_facet | Formele logica Langage et logique Langage naturel, Traitement du (informatique) Natuurlijke taal Sémantique (philosophie) anaphore grammaire formelle linguistique quantification temps théorie type Grammatik Grammar, Comparative and general Logic Semantics (Philosophy) Type theory Englisch Linguistik Typentheorie Kategorialgrammatik Sprachphilosophie |
| volume_link | (DE-604)BV010033344 |
| work_keys_str_mv | AT rantaaarne typetheoreticalgrammar |