AnyBook4Less.com - ISBN: 0198538146 - Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science, No 7) by Bengt Nordstrom

AnyBook4Less.com

Find the Best Price on the Web
Order from a Major Online Bookstore

Home | Store List | FAQ | Contact Us |

Ultimate Book Price Comparison Engine
Save Your Time And Money

Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science, No 7)

Please fill out form in order to compare prices

Title: Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science, No 7)
by Bengt Nordstrom, Kent Petersson, Jan M. Smith
ISBN: 0-19-853814-6
Publisher: Oxford University Press
Pub. Date: July, 1990
Format: Hardcover
Volumes: 1
List Price(USD): $52.00

Your Country
Currency
Delivery
Include Used Books
Are you a club member of: Barnes and Noble Books A Million Chapters.Indigo.ca

Thank you for visiting www.AnyBook4Less.com and enjoy your savings!