Code: 17068327
Implementing Mathematics with The Nuprl Proof Development System
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 fo ... more
13.83 €
RRP: 14.09 €
You save 0.26 €
In stock at our supplier
Shipping in 15 - 20 days
Add to wishlist
You might also like
-
15.04 € -1 %
-
30.30 € -1 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
Book gift voucher sampleRead more
More about Implementing Mathematics with The Nuprl Proof Development System
You get 35 loyalty points
Book synopsis![](/public/obrazky/h5-rbra.png)
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 fo
Book details![](/public/obrazky/h5-rbra.png)
- Full title: Implementing Mathematics with The Nuprl Proof Development System
- Author: R L Constable
- Language:
English
- Binding: Paperback
- Number of pages: 310
- EAN: 9781468059106
- ISBN: 1468059106
- ID: 17068327
- Publisher: Createspace Independent Publishing Platform
- Weight: 417 g
- Dimensions: 229 × 152 × 17 mm
- Date of publishing: 23. January 2012
Trending among others