The QED Manifesto
  1. What Is the QED Project and Why Is It Important?
  2. Some Objections to the Idea of the QED Project and Some Responses
  3. Some Background, Being a Critique of Current Related Efforts
  4. The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)
  5. The Root Logic---Some Technical Details
  6. What Is To Be Done?
  7. Copyright and Authorship

About this edition What's New? The QED Home Page

UP HOME this HTML edition was prepared by RBJ created 1995/12/31 modified 1996/10/5 c