Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška A Parametrised Axiomatization for a Large Number of Restricted Second-Order Logics.
