A System of Logic Ratiocinative and Inductive Vol 1 of 2 pocketEngelska, 2009