The Nuprl Book

- from the PRL Project A Postscript version of the book is available here: ftp://ftp.cs.cornell.edu/pub/nuprl/doc/book.ps.gz
Other useful info about the book is available at CiteSeer
Some pages have been annotated with links to more modern material pertaining to Nuprl4
nextuppreviouscontentsindex
Next: Contents

Available from Amazon and other retailers.
Book Cover

Implementing Mathematics

with

The Nuprl Proof Development System

By the PRL Group:

Computer Science Department
Cornell University
Ithaca, NY 14853



This research supported in part by the National Science Foundation under grant DCR83-03327. Copyright © 1985 by R. L. Constable and Prentice--Hall. Copyright © 1995 by Cornell University.




(some pages have been annotated with links to more modern material pertaining to Nuprl4)

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995