Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
Implementing Mathematics with The Nuprl Proof Development System (Paperback) (ISBN-13: 9781468059106)
Vendor:
R. L. Constable
Product type:
Books
- $12.90
$12.90- $12.90
- Unit price
- per
Subtotal:
$12.90
Description
xFour goals of the book:
Author: R. L. Constable
ISBN-10: 1468059106
ISBN-13: 9781468059106
Publisher: Createspace Independent Publishing Platform
Language: English
Published: 01/23/2012
Pages: 310
Format: Paperback
Weight: 0.92lbs
Size: 9.02h x 5.98w x 0.65d
- 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
Author: R. L. Constable
ISBN-10: 1468059106
ISBN-13: 9781468059106
Publisher: Createspace Independent Publishing Platform
Language: English
Published: 01/23/2012
Pages: 310
Format: Paperback
Weight: 0.92lbs
Size: 9.02h x 5.98w x 0.65d
Recently Viewed Products
- Choosing a selection results in a full page refresh.