Canonical formulas for modal and superintuitionistic logics: A short outlineстатья

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