
Type-Theoretical Grammar (English, Aarne Ranta)
Inclusive of all applicable taxes. FREE shipping on all orders.
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Book Specifications
| ISBN-13 | 9780198538578 |
| ISBN-10 | 019853857X |
| Publisher | OUP Oxford |
| Category | Language, Linguistics & Writing |
Frequently Asked Questions
What is the price of Type-Theoretical Grammar?
Does BookShops.in offer free delivery for Type-Theoretical Grammar?
Is Cash on Delivery available for Type-Theoretical Grammar?
What is the return policy for Type-Theoretical Grammar?
Is Type-Theoretical Grammar authentic?
Customers Also Bought

Journalism
Rock Critic Law (English, Michael Azerrad)

Journalism
What Is Sustainable Journalism?: Integrating the Environmental, Social, and Economic Challenges of Journalism

Journalism
The Power of Sports: Media and Spectacle in American Culture: 23 (Postmillennial Pop)

Journalism
Research Guide to People's Daily Editorials, 1949-1975

Vocabulary
Prince Edward Island Sayings (Heritage)

Vocabulary
Grammar Survival for Primary Teachers: A Practical Toolkit by Jo Shackleton
Related Products
View All
Language, Linguistics & Writing
The Language of Turn and Sequence | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | S

Language, Linguistics & Writing
Handbook of Color Psychology by Andrew J. Elliot

Language, Linguistics & Writing
The Language of Postcolonial Literatures (English, Ismail S. Talib)

Language, Linguistics & Writing
The Other Side of Language | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by

Language, Linguistics & Writing
An Introduction to Cognitive Linguistics | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Ha

Language, Linguistics & Writing
