Implementing Mathematics with The Nuprl Proof Development System

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

Author: R. L. Constable
Publisher: Createspace Independent Publishing Platform
Published: 01/23/2012
Pages: 310
Binding Type: Paperback
Weight: 0.92lbs
Size: 9.02h x 5.98w x 0.65d
ISBN13: 9781468059106
ISBN10: 1468059106
BISAC Categories:
- Mathematics | Logic
- Computers | Computer Science

This title is not returnable