Implementing Mathematics with The Nuprl Proof Development System - Paperback
Implementing Mathematics with The Nuprl Proof Development System - Paperback
FormatBook
Language
English
ISBN-13 / SKU
9781468059106
About this item
by R. L. Constable (Author)
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 for those inclined to basic research in the area
- 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
$18.81
In Stock.
Nationwide Shipping
We deliver across the USA.
Sold by
Novelly Books
Curated additions for your library
International Law: A Very Short Introduction - Paperback
$14.03
McGraw-Hill Education 2,000 Review Questions for the CPA Exam - Paperback
$62.64
Science Denial - Paperback
$41.31
Evaluating AI-Generated Content: A Practical Guide for Educators, Librarians, and Information Professionals: A Companion for Students - Paperback
$29.53
"8emessourit" 'The River of the Big Canoes': A Large, National, River Ecosystem in Peril - Hardcover
$41.97