Formalised Mathematics

Roger Bishop Jones (rbj@campion.demon.co.uk)
Wed, 20 Mar 1996 20:00:33 GMT

For the benefit of postscript challenged qed subscribers (like me) an
HTML edition of John Harrison's interesting and informative draft paper
on formalised mathematics is now available at:

http://www.cybercom.net/~rbjones/rbjpub/logic/jrh0100.htm

Full credit for material content remains with John, however I am entitled to
a substantial share in credit for typographical and other errors of
presentation in the HTML edition.

If you put a link to this paper on your own web pages you should be aware that
my site is probably going to move fairly soon.
When it does I will post to qed the new URL's of items related to qed.

Roger Jones http://www.cybercom.net/~rbjones/
at home rbj@campion.demon.co.uk