Logic : the basics - Beall Jc (The basics, 2010)