We provide several ps-files for the various chapters:

\begin{description}

\item[\xlink{Title page}{cover.ps.gz} (13k)]

\item[\xlink{Abstract}{abstract.ps.gz} (6k)]

\item[\xlink{Table of Contents}{contents.nb.ps.gz} (187k)]

\item[\xlink{Introduction}{Introduction.nb.ps.gz} (539k)]

\item[\xlink{Polynomial Theory}{Polynomial_Theory.nb.ps.gz} (1270k)]

\item[\xlink{The Prototype Prover}{Prototype.nb.ps.gz} (654k)]

\item[\xlink{Conclusion}{conseq-outlook.nb.ps.gz} (95k)]

\item[\xlink{Table of Contents of Appendix 1}{A1contents.nb.ps.gz} (367k)]

\item[\xlink{Appendix 1: Proof Notebooks}{Proofs.nb.ps.gz} (1260k)]

\item[\xlink{Appendix 2: References}{References.nb.ps.gz} (56k)]

\end{description}
