Each volume is broken into individual chapters. And each volume has an associated solutions manual (the last item under each volume). There is a file with corrections to both the text and the answer manual. Also note a file with the diagrammatic summary of the rules that appeared on the inside cover of the published version of the primmer. All files are in Adobe Acrobat PDF 6 format. – they require version 6, or newer, of Adobe, which can be down loaded here. All files are fully searchable.

The answer manual was produced by Jennifer Faust, and I am eager to thank her for this and much other help in producing the Primer.

There are also two links to Software that may be used with the Primer. Tom Weston’s “Prooftutor” is designed to be used with the Primer’s natural deduction system. Austen Clark has Logic Software for both natural deduction systems and truth trees.

If you have problems, questions, or suggestions for the site, please email me at prteller@ucdavis.edu

Enjoy!

Paul Teller