A Postscript version of the book is available here: ftp://ftp.cs.cornell.edu/pub/nuprl/doc/book.ps.gz
The Nuprl Book - from the PRL Project
Other useful info about the book is available at CiteSeer
Some pages have been annotated with links to more
pertaining to Nuprl4
Available from Amazon and other retailers.
The Nuprl Proof Development System
By the PRL Group:
Computer Science Department
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)
Thu Sep 14 08:45:18 EDT 1995