The QED Manifesto
- What Is the QED Project and Why Is It Important?
- Some Objections to the Idea of the QED Project and Some Responses
- Some Background, Being a Critique of Current Related Efforts
- The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)
- The Root Logic---Some Technical Details
- What Is To Be Done?
- Copyright and Authorship
this HTML edition was prepared by
created 1995/12/31 modified 1996/10/5