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

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

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



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






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


Известия Российской академии наук. Серия математическая, 1997, том 61, выпуск 1, страницы 215–224
DOI: https://doi.org/10.4213/im112
(Mi im112)
 

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

Диалоговая интерпретация классического исчисления предикатов

В. А. Янков

Российский государственный гуманитарный университет
Список литературы:
Аннотация: Строится интуиционистская диалоговая интерпретация классического исчисления предикатов и для нее доказывается теорема полноты (интуиционистский аналог теоремы Гёделя).
Библиография: 3 наименования.
Поступило в редакцию: 14.07.1994
Англоязычная версия:
Izvestiya: Mathematics, 1997, Volume 61, Issue 1, Pages 225–233
DOI: https://doi.org/10.1070/im1997v061n01ABEH000112
Реферативные базы данных:
MSC: Primary 03F03, 03F25; Secondary 03B20, 03F05
Образец цитирования: В. А. Янков, “Диалоговая интерпретация классического исчисления предикатов”, Изв. РАН. Сер. матем., 61:1 (1997), 215–224; Izv. Math., 61:1 (1997), 225–233
Цитирование в формате AMSBIB
\RBibitem{Yan97}
\by В.~А.~Янков
\paper Диалоговая интерпретация классического исчисления предикатов
\jour Изв. РАН. Сер. матем.
\yr 1997
\vol 61
\issue 1
\pages 215--224
\mathnet{http://mi.mathnet.ru/im112}
\crossref{https://doi.org/10.4213/im112}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1440320}
\zmath{https://zbmath.org/?q=an:0889.03008}
\elib{https://elibrary.ru/item.asp?id=13250274}
\transl
\jour Izv. Math.
\yr 1997
\vol 61
\issue 1
\pages 225--233
\crossref{https://doi.org/10.1070/im1997v061n01ABEH000112}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1997XR83300010}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33747004796}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im112
  • https://doi.org/10.4213/im112
  • https://www.mathnet.ru/rus/im/v61/i1/p215
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:387
    PDF русской версии:187
    PDF английской версии:14
    Список литературы:67
    Первая страница:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024