Top.Mail.Ru

Интерполяционное свойство Крейга для операторных логик доказательств

Тема диссертации

Интерполяционное свойство Крейга для операторных логик доказательств

Авторы

Яворская Татьяна Леонидовна

Тип публикации

Статья

Язык публикации

Русский

Название журнала/сборника

Вестник МГУ, Сер. 1, Математика, Механика, № 2

Год

1998

Количество страниц

4

Включена в систему цитирования Web of Science

Нет

Включена в Scopus

Нет

Из списка ВАК

Нет

Включена в РИНЦ

Нет

В рамках Госзадания

Нет
special version
dark-themelight-theme