Compendium logicae.