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

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

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



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






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


Докл. АН СССР, 1978, том 241, номер 6, страницы 1288–1291 (Mi dan41931)  

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

МАТЕМАТИКА

Лестницы Ригера–Нишимуры

В. Б. Шехтман

Московский государственный педагогический институт им. В. И. Ленина

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

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

Тип публикации: Статья
УДК: 51.01
Статья представлена к публикации: А. Н. Колмогоров
Поступила в редакцию: 12.01.1978

Образец цитирования: В. Б. Шехтман, “Лестницы Ригера–Нишимуры”, Докл. АН СССР, 241:6 (1978), 1288–1291

Цитирование в формате AMSBIB
\RBibitem{She78}
\by В.~Б.~Шехтман
\paper Лестницы Ригера--Нишимуры
\jour Докл. АН СССР
\yr 1978
\vol 241
\issue 6
\pages 1288--1291
\mathnet{http://mi.mathnet.ru/dan41931}
\zmath{https://zbmath.org/?q=an:0412.03010}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dan41931
  • http://mi.mathnet.ru/rus/dan/v241/i6/p1288

    ОТПРАВИТЬ: 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. В. В. Рыбаков, “Базисы допустимых правил модальной системы Grz и интуиционистской логики”, Матем. сб., 128(170):3(11) (1985), 321–338  mathnet  mathscinet  zmath; V. V. Rybakov, “Bases of admissible rules of the modal system Grz and of intuitionistic logic”, Math. USSR-Sb., 56:2 (1987), 311–331  crossref
    2. В. В. Рыбаков, “Разрешимость по допустимости модальной системы $\mathrm{Grz}$ и интуиционистской логики”, Изв. АН СССР. Сер. матем., 50:3 (1986), 598–616  mathnet  mathscinet  zmath; V. V. Rybakov, “Decidability of admissibility in the modal system $\mathrm{Grz}$ and in intuitionistic logic”, Math. USSR-Izv., 28:3 (1987), 589–608  crossref
    3. В. В. Рыбаков, “Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний”, Изв. АН СССР. Сер. матем., 54:6 (1990), 1331–1341  mathnet  mathscinet  zmath  adsnasa; V. V. Rybakov, “Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus”, Math. USSR-Izv., 37:3 (1991), 693–703  crossref
  • Просмотров:
    Эта страница:4
    Полный текст:3

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