Textbook Blog, recent posts:

• SymLog hardcopy is here!
• SymLog hardcopy to come
• derivations in LaTeX
• answers to exercises
• on electronic and printed versions of the text
• final version!?!
• textbook commentary
• SLAPP: Symbolic Logic APP
• jolly good
• answers to exercises