Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška On the logics of finite Gödel Kripke models.
