Implementing Mathematics with The Nuprl Proof Development SystemImplementing Mathematics with The Nuprl Proof Development System
Implementing Mathematics with The Nuprl Proof Development System
BooksCloudSKU: 9781468059106

Implementing Mathematics with The Nuprl Proof Development System - Paperback

$24.42
Shipping calculated at checkout.
In stock (50)
Implementing Mathematics with The Nuprl Proof Development System
Implementing Mathematics with The Nuprl Proof Development System - Paperback
$24.42
Still deciding?
Logo for GOVX ID, a service used to verify military, first responder, nurse or teachers to qualify them for discounts

Discount available for Military, First Responders, Medical Workers and Teachers

Payment & Security
American Express
Apple Pay
Diners Club
Discover
Google Pay
Mastercard
PayPal
Shop Pay
Venmo
Visa

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

Security
Related categories
Arts & Music - VysnArts & Music Automotive - VysnAutomotive Baby & Kids - VysnBaby & Kids Beauty & Body - VysnBeauty & Body Books & Collectibles - VysnBooks & Collectibles Clothing & Fashion - VysnClothing & Fashion Electronics - VysnElectronics Fitness Equipment - VysnFitness Equipment Food & Beverages - VysnFood & Beverages Health & Wellness - VysnHealth & Wellness Home & Garden - VysnHome & Garden Jewelry & Watches - VysnJewelry & Watches Mobility & Accessibility - VysnMobility & Accessibility Office & Work - VysnOffice & Work Pet Supplies - VysnPet Supplies Sports & Outdoor - VysnSports & Outdoor Toys & Games - VysnToys & Games Travel & Luggage - VysnTravel & Luggage
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.

by R. L. Constable (Author)

Four goals of the book:

  1. Offer a tutorial on mathematical ideas which underlie our research
  2. Serve as a manual for users of the Nuprl system
  3. Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area
  4. 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
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee