Implementing Mathematics with The Nuprl Proof Development System - Paperback
$23.03
Skip to product information
Implementing Mathematics with The Nuprl Proof Development System - Paperback
$23.03
Shipping calculated at checkout.
Details
by R. L. Constable (Author)
Four goals of the book:
- Offer a tutorial on mathematical ideas which underlie our research
- Serve as a manual for users of the Nuprl system
- Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area
- Present research which has arisen as we have worked on the Nuprl system
Number of Pages: 310
Dimensions: 0.65 x 9.02 x 5.98 IN
Publication Date: January 23, 2012
Materials + Care
We prioritize quality in selecting the materials for our items, choosing premium fabrics and finishings that ensure durability, comfort, and timeless appeal.
Shipping + Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.