Stav dette: Compendium Logicae