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

Препринт ИПМ № 57, Москва, 1989 г.
Авторы: Захарьящев М.В., Чагров А.В.
Неразрешимость дизъюнктивного свойства суперинтуиционистских исчислений
Язык публикации: русский
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Сведения об авторах:
  • Захарьящев Михаил Викторович,  ИПМ им. М.В. Келдыша РАН
  • Чагров А.В.
    		•