Ulrici , Compendium derLogik