Построение явного базиса для правил вывода, допустимых в модальной логике К4 : препринт

Описание

Тип публикации: препринт

Год издания: 2002

Ссылки на полный текст

Издание

Место издания: ВИНИТИ РАН

Персоны

Вхождение в базы данных