The items on this web page augment the book

Logic for Mathematics and Computer Science.

This text is referred to simply as LMCS in the following.
Theorem 10.16 of Chapter II would be identified as Theorem II.10.16 of LMCS.

Footnotes in the HTML files are handled by the icon gif.
Clicking on the icon will take one to a separate page with the footnote.

Some of the following items are marked with an asterisk (*).
This indicates that one probably needs more background than LMCS provides.
For speedy downloading and printout it is better to use the .pdf (for PC's) or the .dvi or .ps versions (if you have a UNIX workstation).