Logicae Artis Compendium · Study