Limit this search to....

Implementing Mathematics with The Nuprl Proof Development System
Contributor(s): Constable, R. L. (Author)
ISBN: 1468059106     ISBN-13: 9781468059106
Publisher: Createspace Independent Publishing Platform
OUR PRICE:   $12.26  
Product Type: Paperback
Published: January 2012
Qty:
Additional Information
BISAC Categories:
- Mathematics | Logic
- Computers | Computer Science
Dewey: 511.3
Physical Information: 0.65" H x 5.98" W x 9.02" (0.92 lbs) 310 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
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