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

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

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



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






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


Докл. АН СССР, 1970, том 195, номер 6, страницы 1263–1266 (Mi dan35859)  

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

МАТЕМАТИКА

О конечно аксиоматизируемых суперинтуиционистских логиках

В. Я. Герчиу, А. В. Кузнецов

Институт математики с вычислительным центром АН Молдавской ССР

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

Реферативные базы данных:
Тип публикации: Статья
УДК: 517.11:(51.01+519.95)
Статья представлена к публикации: П. С. Новиков
Поступила в редакцию: 14.05.1970

Образец цитирования: В. Я. Герчиу, А. В. Кузнецов, “О конечно аксиоматизируемых суперинтуиционистских логиках”, Докл. АН СССР, 195:6 (1970), 1263–1266

Цитирование в формате AMSBIB
\RBibitem{GerKuz70}
\by В.~Я.~Герчиу, А.~В.~Кузнецов
\paper О конечно аксиоматизируемых суперинтуиционистских логиках
\jour Докл. АН СССР
\yr 1970
\vol 195
\issue 6
\pages 1263--1266
\mathnet{http://mi.mathnet.ru/dan35859}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=0295892}
\zmath{https://zbmath.org/?q=an:0219.02015}


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

    ОТПРАВИТЬ: 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. А. И. Циткин, “О допустимых правилах интуиционистской логики высказываний”, Матем. сб., 102(144):2 (1977), 314–323  mathnet  mathscinet  zmath; A. I. Citkin, “On admissible rules of intuitionistic propositional logic”, Math. USSR-Sb., 31:2 (1977), 279–288  crossref  isi
  • Просмотров:
    Эта страница:18
    Полный текст:10
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019