Logic Blog, recent posts:

• SLAPP Release!!
• SLAPP Evaluation Version
• 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