Introductiones artificiales in Logicam Iacobi Fabri ...