Call Boomerang Books 1300 36 33 32

sign up for Boomerang Books BulletinGet Latest Book News + FREE Shipping. Subscribe to the Boomerang Books Bulletin eNewsletter right now!

Description - Twenty Five Years of Constructive Type Theory by Giovanni Sambin

The title of this book is Twenty Five Years of Constructive Type Theory and is written by author Giovanni Sambin. The book Twenty Five Years of Constructive Type Theory is published by Oxford University Press. The ISBN of this book is 9780198501275 and the format is Hardback. The publisher has not provided a book description for Twenty Five Years of Constructive Type Theory by Giovanni Sambin.

Book Details

ISBN: 9780198501275
Format: Hardback
(242mm x 161mm x 20mm)
Pages: 292
Imprint: Clarendon Press
Publisher: Oxford University Press
Publish Date: 17-Aug-1998
Country of Publication: United Kingdom

Book Reviews - Twenty Five Years of Constructive Type Theory by Giovanni Sambin

» 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 Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review