Type-Theoretical Grammar (English, Aarne Ranta)
by Aarne Ranta
Delivery options
₹5,332-40%
MRP:₹8,817Save ₹3,485
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
40% Off — you save ₹3,485 on this product!
Total: ₹5,332
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
Frequently Asked Questions
What is the price of Type-Theoretical Grammar?
Type-Theoretical Grammar starts from ₹5492 at GlowMirror. 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 GlowMirror.
Is Type-Theoretical Grammar available in Paperback and Hardcover?
Yes, Type-Theoretical Grammar is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Type-Theoretical Grammar?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9780198538578
🛒 Customers Also Bought
Auflösung Von Kristallen (English, R. B. Heimann)
₹4,965
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273
Vestibularisprüfung Und Vestibuläre Erkrankungen (English, Claus T. Haid)
₹3,508
Radioanalytical Chemistry (English, Bernd Kahn)
₹5,732
Action Of Discrete Amenable Groups On Von Neumann Algebras (English, Adrian Ocneanu)
₹1,290
Extemporaneous Ophthalmic Preparations (English, Eman Alghamdi | Abdulmalik Yahya Al Qahtani | Mazen M. Sinjab)
₹5,737Related Products
Fifty-One Key Feminist Thinkers (Routledge Key Guides) (English, Paperback)
₹2,700
Bildnerei in Der Neurologischen Rehabilitation (English, Elisabeth Gebharter | Monika Murg | Walter Oder)
₹3,508
Ecografia E Procedure Interventistiche Percutanee (English, Mirko D'Onofrio | Roberto Pozzi Mucelli | Andrea Ruzzenente)
₹3,171
Kilocoachtm (English, Rosa Aspalter | Eckhard Schitter)
₹1,937
Ferrum Noricum Und Die Stadt Auf Dem Magdalensberg (English, Harald Straube | H. Dolenz | G. Piccottini)
₹5,498