Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Decidable Fragments of First Order Modal Logic.
