Twenty Five Years of Constructive Type Theory
Normal Price: $120.95
Your Price: $108.86 AUD, inc. GST
Shipping: $7.95 per order
You Save: $12.09! (10% off normal price)
Plus...earn $5.44 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Twenty Five Years of Constructive Type Theory by Giovanni Sambin
Book DescriptionPer Martin-Lof's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Lof's earliest papers.
Buy Twenty Five Years of Constructive Type Theory book by Giovanni Sambin from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780198501275
(242mm x 161mm x 20mm)
Imprint: Clarendon Press
Publisher: Oxford University Press
Publish Date: 15-Oct-1998
Country of Publication: United Kingdom
» Have you read this book? We'd like to know what you think about it - write a review about Twenty Five Years of Constructive Type Theory book by Giovanni Sambin and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2017. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.