JMRyan
I've started doing some work on the Logic section of Introduction to Philosophy in July 2005. I moved my work to Formal Logic, unfortunately leaving something of a mess. I plan to get back to Introduction to Philosophy/Logic and clean up the mess I made Real Soon Now.
It appears some one or more editors have done substantial cleanup. That's a good thing.
I have started a new book, Formal Logic by moving material from Introduction to Philosophy/Logic.