Type-Theoretical Grammar by Aarne Ranta is listed under Language, Linguistics & Writing on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
OUP Oxford
Language
English
ISBN-13
9780198538578
ISBN-10
019853857X
Author
Aarne Ranta
About the Book
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the ph…
ISBN: 9780198538578
ISBN-13: 9780198538578
ISBN-10: 019853857X
Reader's Guide
What This Book Covers
- ·The main subject matter of Type-Theoretical Grammar
- ·Ideas and detail relevant to Language, Linguistics & Writing
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in Language, Linguistics & Writing, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Type-Theoretical Grammar?
Type-Theoretical Grammar starts from ₹5492 at BookBajar. Available in Paperback.
Who is the author of Type-Theoretical Grammar?
Aarne Ranta is the author of Type-Theoretical Grammar. Browse more books by Aarne Ranta on BookBajar.
Is Type-Theoretical Grammar available in Paperback and Hardcover?
Yes, Type-Theoretical Grammar is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Type-Theoretical Grammar?
Yes, BookBajar offers free delivery for Type-Theoretical Grammar across India. No minimum order value required.
Is Cash on Delivery available for Type-Theoretical Grammar?
Yes, Cash on Delivery (COD) is available for Type-Theoretical Grammar on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Type-Theoretical Grammar?
Type-Theoretical Grammar can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Type-Theoretical Grammar?
Type-Theoretical Grammar has ISBN 9780198538578 (ISBN-10: 019853857X). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Type-Theoretical Grammar?
About the Book Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science.
Product ID: isbn-9780198538578
🛒 Customers Also Bought
Complete English Grammar Rules (English, Farlex International)
₹2,524
Language and Mind (English, Noam Chomsky)
₹4,845
Domain-Specific Languages (English, Martin Fowler)
₹5,570
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (English, Perdita Stevens | Jon Whittle | Grady Booch)
₹5,743
Semantic Web (English, Tassilo Pellegrini | Andreas Blumauer)
₹2,779
Vergleichende Syntax Der Indogermanische Sprachen, Teil 3 (English, Berthold Delbrück)
₹1,659Related Products
Case and Linking in Language Comprehension (English, Markus Bader | Josef Bayer)
₹5,300
Statistical Universals of Language (English, Kumiko Tanaka-Ishii)
₹5,067
Selected Papers on Language and the Brain (English, N. Geschwind)
₹4,469
Morphological Image Analysis (English, Pierre Soille)
₹4,959
A Glossary of English Grammar (English, Geoffrey Leech)
₹2,742