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

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

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



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






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


Матем. сб., 1925, том 32, номер 4, страницы 646–667 (Mi msb7425)  

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

О принципе tertium non datur

А. Н. Колмогоров


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

Реферативные базы данных:

Поступила в редакцию: 30.09.1925

Образец цитирования: А. Н. Колмогоров, “О принципе tertium non datur”, Матем. сб., 32:4 (1925), 646–667

Цитирование в формате AMSBIB
\RBibitem{Kol25}
\by А.~Н.~Колмогоров
\paper О принципе tertium non datur
\jour Матем. сб.
\yr 1925
\vol 32
\issue 4
\pages 646--667
\mathnet{http://mi.mathnet.ru/msb7425}
\zmath{https://zbmath.org/?q=an:51.0048.01}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/msb7425
  • http://mi.mathnet.ru/rus/msb/v32/i4/p646

    ОТПРАВИТЬ: 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. В. Е. Плиско, “Исчисление А. Н. Колмогорова как фрагмент минимального исчисления”, УМН, 43:6(264) (1988), 79–91  mathnet  mathscinet  zmath  adsnasa; V. E. Plisko, “The Kolmogorov calculus as a part of minimal calculus”, Russian Math. Surveys, 43:6 (1988), 95–110  crossref
    2. Д. Ван Дален, “Колмогоров и Брауэр о конструктивной импликации и правило противоречия”, УМН, 59:2(356) (2004), 53–64  mathnet  crossref  mathscinet  zmath  adsnasa; D. Van Dalen, “Kolmogorov and Brouwer on constructive implication and the Ex Falso rule”, Russian Math. Surveys, 59:2 (2004), 247–257  crossref  isi  elib
    3. С. П. Одинцов, “Решетка расширений минимальной логики”, Матем. тр., 9:2 (2006), 60–108  mathnet  mathscinet  elib; S. P. Odintsov, “The Lattice of Extensions of the Minimal Logic”, Siberian Adv. Math., 17:2 (2007), 112–143  crossref
    4. С. П. Одинцов, “Об одном обобщении принципа reductio ad absurdum”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 62–87  mathnet
    5. В. Е. Плиско, “Обзор предикатной логики реализуемости”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 222–251  mathnet  mathscinet; Valerii E. Plisko, “A survey of predicate realizability logic”, Proc. Steklov Inst. Math., 274 (2011), 204–230  crossref  isi
    6. Карпенко А.С., “На пути к протологике”, Логические исследования, 2011, № 17, 152–166  elib
  • Математическiй сборникъ
    Просмотров:
    Эта страница:1380
    Полный текст:742
    Первая стр.:2

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018