Tell your friends about this item:
Type-theoretical Grammar - Indices Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki)
Price
Íkr 17,039
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 5 - 19
Christmas presents can be returned until 31 January
Get notified about new Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki) releases
Our customers say:
Add to your iMusic wish list
Type-theoretical Grammar - Indices
Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki)
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.
238 pages, line figures
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | January 5, 1995 |
| ISBN13 | 9780198538578 |
| Publishers | Oxford University Press |
| Pages | 238 |
| Dimensions | 162 × 241 × 18 mm · 494 g |
| Language | English |
![Cover for My eyes for beauty pine (Sheet music) [Vocal score edition] (2028)](https://imusic.b-cdn.net/images/item/original/126/9780193501126.jpg?2028-my-eyes-for-beauty-pine-sheet-music&class=scaled&v=1550933031)
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for The EU General Data Protection Regulation (GDPR): A Commentary (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/678/9780198911678.jpg?2027-the-eu-general-data-protection-regulation-gdpr-a-commentary-hardcover-book&class=scaled&v=1792587460)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Health, Illness, and Medicine in Canada (Paperback Book) [9 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/516/9780190170516.jpg?2027-health-illness-and-medicine-in-canada-paperback-book&class=scaled&v=1790604647)
![Cover for King, Daniel (Professor of Organisation Studies, Professor of Organisation Studies, Nottingham Trent University) · Organizational Behaviour (Paperback Book) [5 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/656/9780197943656.jpg?king-daniel-professor-of-organisation-studies-professor-of-organisation-studies-nottingham-trent-university-2027-organizational-behaviour-paperback-book&class=scaled&v=1792735220)
![Cover for Lewis Lansford · Oxford Discover Futures Second edition Level 3: Workbook: Print Student Workbook (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/990/9780194280990.jpg?lewis-lansford-2027-oxford-discover-futures-second-edition-level-3-workbook-print-student-workbook-paperback-book&class=scaled&v=1792589774)