Implementing Mathematics with The Nuprl Proof System by Computing
and Information Science, Cornell University
File Type :Online Number of Pages :NA
Description This book covers the following
topics: Introduction to Type Theory, Statements and Definitions in Nuprl,
Proofs, Proof Tactics, System Description, The Rules, The Metalanguage, Building
Theories, Recursive definition.
