Picture 1 of 1
Picture 1 of 1
Type-theoretical Grammar by Aarne Ranta (Hardcover, 1995)
superbookdeals (84236)
97% positive Feedback
Price:
£81.38
Free postage
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
- Buy it nowType-Theoretical Grammar, Hardcover by Ranta, Aarne, Brand New, Free P&P in t...
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Information
Per Martin Loef presented constructive type theory for the first time in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This is the first book to take an in-depth look at type theory from the point of view of linguistics and the philosophy of language.Product Identifiers
PublisherOxford University Press
ISBN-139780198538578
eBay Product ID (ePID)89619349
Product Key Features
Number of Pages238 Pages
LanguageEnglish
Publication NameType-Theoretical Grammar
Publication Year1995
SubjectComputer Science, Mathematics
TypeTextbook
AuthorAarne Ranta
SeriesIndices
FormatHardcover
Dimensions
Item Height241 mm
Item Weight494 g
Item Width162 mm
Volume1
Additional Product Features
Country/Region of ManufactureUnited Kingdom
Title_AuthorAarne Ranta
All listings for this product
Be the first to write a review
