Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Захарьящев Михаил Викторович

1990 год
1.  Препринт ИПМ № 82, Москва, 1990
Авторы: Захарьящев М.В., Чагров А.В.
Название: Неразрешимость свойства полноты по Холдену модальных исчислений

1989 год
2.  Препринт ИПМ № 57, Москва, 1989
Авторы: Захарьящев М.В., Чагров А.В.
Название: Неразрешимость дизъюнктивного свойства суперинтуиционистских исчислений

1987 год
3.  Препринт ИПМ № 82, Москва, 1987
Авторы: Захарьящев М.В., Чагров А.В.
Название: Неразрешимость свойства полноты по Холдену модальных исчислений

1981 год
4.  Препринт ИПМ № 160, Москва, 1981
Авторы: Захарьящев М.В.
Название: Некоторые классы промежуточных логик

1980 год
5.  Препринт ИПМ № 45, Москва, 1980
Авторы: Захарьящев М.В., Попов С.В.
Название: О мощности контрмоделей интуиционистского исчисления

1978 год
6.  Препринт ИПМ № 111, Москва, 1978
Авторы: Захарьящев М.В., Попов С.В.
Название: Процедура поиска вывода, основанная на методе синтаксического дерева