references

Robert S. Boyer <boyer@CLI.COM>

Mail folder: QED
Next message: FORSTER@matgen.ge.cnr.it: "Bourbaki/Mathias"
Previous message: Pat Lincoln: "the base logic"

Date: Tue, 13 Apr 93 22:16:48 CDT
From: Robert S. Boyer <boyer@CLI.COM>
Message-id: <9304140316.AA08792@axiom.CLI.COM>
To: qed@mcs.anl.gov
Subject: references
Reply-To: boyer@CLI.COM
Sender: qed-owner
Precedence: bulk

I think that there is a pretty diverse group of people listening, so
when things like named computer systems that not everyone can be
expected to know about are first mentioned, a few pointers to the
literature or a few helpful definitions might be worth including.  I
do hope that the diversity of the group continues to grow, especially
in the direction of including more mathematicians.

Bob