Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška From implicit to explicit definability in algebra and logic.