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

Описание

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

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

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

Издание

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

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