SMS dit: Compendium Logicae Conimbricensis