Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Reflecting on the proof theory of first-order relevant logics and relevant modal logics.
