Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Coalgebraic dynamic logic (re-)visited.
