< Back
Twenty Five Years of Constructive Type Theory
Add to Bag (eBook - $89.99)
eBook - $89.99
Hardcover - $120.00
You're viewing the eBook edition. A preview of the Hardcover edition is currently not available.
You've Reached the End of Sample
Twenty Five Years of Constructive Type Theory
by Giovanni Sambin
Back to product details page >