Title: A treatise of formal logic