Interpolation for intermediate logics via hyper- and linear nested sequentsстатья

Дата последнего поиска статьи во внешних источниках: 4 сентября 2019 г.