Электронный каталог: Iemhoff, Rosalie - Unification in intermediate logics