Artis logicae plenior institutio