Ресурсы подразделения "Кафедра алгебры и математической логики" за 2003-й год
Перейти к: Ч
Количество объектов: 1.
Ч
Чагров, А.В. (2003) Применение итерации для дедукционных теорем в нормальных модальных логиках. Вестник ТвГУ. Серия: Прикладная математика (1). С. 28-33. ISSN 1995-0136