Труды Математического института имени В. А. Стеклова
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды МИАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды Математического института имени В. А. Стеклова, 1958, том 52, страницы 193–225 (Mi tm1318)  
Новый алгорифм выводимости в конструктивном исчислении высказываний

Н. Н. Воробьев
PDF полного текста (2774 kB)
Реферативные базы данных:
Образец цитирования: Н. Н. Воробьев, “Новый алгорифм выводимости в конструктивном исчислении высказываний”, Проблемы конструктивного направления в математике. 1, Сборник работ, Тр. МИАН СССР, 52, Изд-во АН СССР, М.–Л., 1958, 193–225
Цитирование в формате AMSBIB
\RBibitem{Vor58}
\by Н.~Н.~Воробьев
\paper Новый алгорифм выводимости в~конструктивном исчислении высказываний
\inbook Проблемы конструктивного направления в математике.~1
\bookinfo Сборник работ
\serial Тр. МИАН СССР
\yr 1958
\vol 52
\pages 193--225
\publ Изд-во АН СССР
\publaddr М.--Л.
\mathnet{http://mi.mathnet.ru/tm1318}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=99925}
\zmath{https://zbmath.org/?q=an:0087.25304}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tm1318
  • https://www.mathnet.ru/rus/tm/v52/p193
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды Математического института имени В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024