ISBN: 9780198538578 - type-theoretical grammar: 1 (22 risultati)

Condizione: Very Good. Hardcover, very good condition, 226pp.

Condizione: New.

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Hardback. Condizione: New. New copy - Usually dispatched within 4 working days.

Hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.

Condizione: New. In English.

Condizione: New. BL First book to apply type theory to natural language Per Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language. Series: Indices S. Num Pages: 238 pages, line figures. BIC Classification: CFK; PBW; UY. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 18. Weight in Grams: 494. . 1995. Hardback. . . . .…

Hardback. Condizione: New. Illustrated. 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.…

Condizione: New. BL First book to apply type theory to natural language Per Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language. Series: Indices S. Num Pages: 238 pages, line figures. BIC Classification: CFK; PBW; UY. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 18. Weight in Grams: 494. . 1995. Hardback. . . . . Books ship from the US and Ireland.…

Hardback. Condizione: New. Illustrated. 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.…

Condizione: new. Questo è un articolo print on demand.

HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condizione: New. Print on Demand pp. 244.

Hardcover. Condizione: new. Hardcover. 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 thephilosophy 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 ofproof 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. BL First book to apply type theory to natural languagePer Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condizione: New. Print on Demand pp. 244 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.

Buch. Condizione: Neu. Type-Theoretical Grammar | Aarne Ranta | Buch | Gebunden | Englisch | 1996 | OUP Oxford | EAN 9780198538578 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.

Condizione: New. PRINT ON DEMAND pp. 244.

Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…