...computing.

NSF grant DUE 9555162 Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing. The project is called Interactive Formal Courseware

...Web.

The url is www.cornell.edu/Info/Projects/NuPrl/html/Interactive_Formal_Courseware.html.

...4.

The systems have been PRL, (lambda pearl), Nuprl (``new pearl''), Nuprl 3 and now Nuprl 4.

...Logic.

We also persuaded Dover to publish this classic work which had gone out of print at Springer.

...decade.

This is not all ``text'' since some is stored only electronically.

...omitted.

For example, the Fundamental Theorem of Arithmetic is sometimes stated as ``any natural number, other than 1, can be written in only one way as a product of primes.'' But students wonder about versus .

karla@cs.cornell.edu
Wed Jul 2 11:48:15 EDT 1997