Sign in
Hidden fields
Books
My library
Help
Advanced Book Search
Buy eBook - $83.99
Get this book in print
Amazon.com
Find in a library
All sellers
»
Twenty Five Years of Constructive Type Theory
By Giovanni Sambin, Jan M. Smith
About this book
Terms of Service
Published by Clarendon Press.
Copyright
.
Front Cover