Библиотеки, издания
Поиск публикаций
English
Публикация
Препринт ИПМ № 116, Москва, 1977 г.
Авторы:
Попов С.В.
Некоторые сложностные характеристики выводов в исчислениях высказываний
Язык публикации:
русский
Экспорт ссылки на публикацию в формате:
RIS
BibTeX
Сведения об авторах:
Попов С.В.