Just realised a couple of old files were still waiting for proper editing, so I've begun working on them. As they have been here for some time they won't appear in the 'Latest Articles' section of the homepage, so I'll announce their availabilty right here.

This is the first of them, a great one: Formal Reasoning & Truth-Detection: The Basics

Cheers!