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

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

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



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






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


Докл. АН СССР, 1963, том 148, номер 4, страницы 771–774 (Mi dan27540)  

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

МАТЕМАТИКА

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

Ю. Т. Медведев


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

Реферативные базы данных:
Тип публикации: Статья
Статья представлена к публикации: А. Н. Колмогоров
Поступила в редакцию: 25.07.1962

Образец цитирования: Ю. Т. Медведев, “Интерпретация логических формул посредством финитных задач и связь ее с теорией реализуемости”, Докл. АН СССР, 148:4 (1963), 771–774

Цитирование в формате AMSBIB
\RBibitem{Med63}
\by Ю.~Т.~Медведев
\paper Интерпретация логических формул посредством финитных задач и связь ее с~теорией реализуемости
\jour Докл. АН СССР
\yr 1963
\vol 148
\issue 4
\pages 771--774
\mathnet{http://mi.mathnet.ru/dan27540}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=0147388}
\zmath{https://zbmath.org/?q=an:0218.02048}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dan27540
  • http://mi.mathnet.ru/rus/dan/v148/i4/p771

    ОТПРАВИТЬ: 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. В. И. Хомич, “О суперинтуиционистских пропозициональных логиках, связанных с частично упорядоченными множествами”, Изв. АН СССР. Сер. матем., 55:2 (1991), 384–406  mathnet  mathscinet  zmath  adsnasa; V. I. Khomich, “On superintuitionistic propositional logics connected with partially ordered sets”, Math. USSR-Izv., 38:2 (1992), 375–397  crossref  isi
    2. Н. К. Верещагин, Д. П. Скворцов, Е. З. Скворцова, А. В. Чернов, “Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 77–97  mathnet  mathscinet  zmath; N. K. Vereshchagin, D. P. Skvortsov, E. Z. Skvortsova, A. V. Chernov, “Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle”, Proc. Steklov Inst. Math., 242 (2003), 67–85
  • Просмотров:
    Эта страница:65
    Полный текст:36
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022