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

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

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



Докл. РАН:
Год:
Том:
Выпуск:
Страница:
Найти






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


Докл. АН СССР, 1986, том 288, номер 1, страницы 11–14 (Mi dan8607)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

МАТЕМАТИКА

Арифметическая сложность предикатных логик доказуемости и их фрагментов

В. А. Варданян

Научный совет по комплексной проблеме «Кибернетика» АН СССР, г. Москва

Полный текст: PDF файл (580 kB)

Реферативные базы данных:
Тип публикации: Статья
УДК: 510.65
Статья представлена к публикации: В. А. Мельников
Поступила в редакцию: 30.12.1985

Образец цитирования: В. А. Варданян, “Арифметическая сложность предикатных логик доказуемости и их фрагментов”, Докл. АН СССР, 288:1 (1986), 11–14

Цитирование в формате AMSBIB
\RBibitem{Var86}
\by В.~А.~Варданян
\paper Арифметическая сложность предикатных логик доказуемости и их фрагментов
\jour Докл. АН СССР
\yr 1986
\vol 288
\issue 1
\pages 11--14
\mathnet{http://mi.mathnet.ru/dan8607}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=841130}
\zmath{https://zbmath.org/?q=an:0623.03022}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dan8607
  • http://mi.mathnet.ru/rus/dan/v288/i1/p11

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490  mathnet  mathscinet  zmath
    2. С. Н. Артемов, “Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении”, УМН, 59:2(356) (2004), 9–36  mathnet  crossref  mathscinet  zmath  adsnasa; S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229  crossref  isi  elib
  • Просмотров:
    Эта страница:10
    Полный текст:4
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019