Title: Treatise of Formal Logic