Библиотеки, издания Поиск публикаций | English | |
Публикации |
Захарьящев Михаил Викторович |
1990 год |
1. |
Авторы: , Название: Неразрешимость свойства полноты по Холдену модальных исчислений |
1989 год |
2. |
Авторы: , Название: Неразрешимость дизъюнктивного свойства суперинтуиционистских исчислений |
1987 год |
3. |
Авторы: , Название: Неразрешимость свойства полноты по Холдену модальных исчислений |
1981 год |
4. |
Авторы: Название: Некоторые классы промежуточных логик |
1980 год |
5. |
Авторы: , Название: О мощности контрмоделей интуиционистского исчисления |
1978 год |
6. |
Авторы: , Название: Процедура поиска вывода, основанная на методе синтаксического дерева |