В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
 
скрыть

Kripke completeness of strictly positive modal logics over meet semi-lattices with operatorsстатья

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