Skip to content
Your cart is empty
Continue shopping
Have an account?
Log in
to check out faster.
Your cart
Loading...
Home
Log in
Jingyi Book Discount Mall
Home
Search
Log in
Cart
Skip to product information
Open media 1 in modal
1
/
of
1
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Regular price
$130.00
Regular price
Sale price
$130.00
Sale
Sold out
Shipping
calculated at checkout.
Quantity
Quantity
(
0
in cart)
Decrease quantity for Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Increase quantity for Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Add to cart
This item is a recurring or deferred purchase. By continuing, I agree to the
cancellation policy
and authorize you to charge my payment method at the prices, frequency and dates listed on this page until my order is fulfilled or I cancel, if permitted.
Couldn't load pickup availability
Refresh
Share
Share
Link
Close share
Copy link
View full details
Choosing a selection results in a full page refresh.
Opens in a new window.
