LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 Hermes Kurierdienst 4.99 DHL-Kurier 3.99 Hermes-Stelle 4.49 DPD-Stelle 2.99 GLS-Kurierdienst 4.99

Type-theoretical Grammar

Sprache EnglischEnglisch
Buch Hardcover
Buch Type-theoretical Grammar Aarne Ranta
Libristo-Code: 04527526
Verlag Oxford University Press, Januar 1995
Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It ha... Vollständige Beschreibung
? points 240 b
98.09 inkl. MwSt.
Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht


Kunden kauften auch


Rhétorique à Herennius Cicéron / Buch Hardcover
common.buy 115.49
La stanza numero 30.Cronache di una vita Ilda Boccassini / Buch Broschur
common.buy 32.19
Bildband Mazedonien Robert Schmitt / Buch Broschur
common.buy 14.95
Jak je psáno P. Čech / Buch Broschur
common.buy 14.19
Dr. Crippen lebt, 1 DVD Erich Engels / Video DVD
common.buy 19.59

Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a comsiderable extension of the concepts and techniques of logic. The book contains an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. In virtue of the type theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren


Global Financial Crisis and Asia Masahiro Kawai / Buch Hardcover
common.buy 140.89
Backbone of History Richard H. SteckelJerome C. Rose / Buch Broschur
common.buy 73.39
A Dominie's Log (1915) Alexander S. Neill / Buch Broschur
common.buy 25.89
Top
Villa-Lobos - Collected Works for Solo Guitar Heitor Villa-Lobos / Buch Broschur
common.buy 47.39
Miss Mousie's Blind Date Tim Beiser / Buch Hardcover
common.buy 17.39
Wiccan Envy the Tale of Kurk Burnswick Jeremy Joseph Jack / Buch Broschur
common.buy 16.39
Newly Qualified Secondary Teacher's Handbook Kevan Bleach / Buch Broschur
common.buy 47.59
Intellectuals in the Modern Islamic World Stephane A. Dudoignon / Buch Hardcover
common.buy 242.59
14 Pieces (for Children) Sc/Pts B BARTOK / Buch Hardcover
common.buy 74.19
Liberty, Equality, and the Market B.N. Chicherin / Buch Hardcover
common.buy 94.49
Letters from a Lost Uncle Mervyn Peake / Buch Hardcover
common.buy 18.99
Rhodes Jill Dudley / Buch Broschur
common.buy 4.79
Preface to Swift Keith Crook / Buch Broschur
common.buy 44.49
The Letters of Dominique Chaix, Botanist-Curé R.L. Williams / Buch Hardcover
common.buy 106.69

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?