Тема диссертации
Интерполяционное свойство Крейга для операторных логик доказательств
Авторы
Яворская Татьяна Леонидовна
Тип публикации
Статья
Язык публикации
Русский
Название журнала/сборника
Вестник МГУ, Сер. 1, Математика, Механика, № 2
Год
1998
Количество страниц
4
Включена в систему цитирования Web of Science
Нет
Включена в Scopus
Нет
Из списка ВАК
Нет
Включена в РИНЦ
Нет
В рамках Госзадания
Нет