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

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

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


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




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

Сибирский математический журнал, 1988, том 29, номер 1, страницы 171–178 (Mi smj7398)  
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева

Е. З. Скворцова

г. Москва
PDF полного текста (1275 kB) Список цитирования (8)
Аннотация: Доказывается, что существует начальный сегмент решетки Медведева, дающий точную интерпретацию интуиционистского исчисления высказываний.
Библиогр. 9.
Статья поступила: 17.12.1985
Англоязычная версия:
Siberian Mathematical Journal, 1988, Volume 29, Issue 1, Pages 133–139
DOI: https://doi.org/10.1007/BF00975025
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.11
Образец цитирования: Е. З. Скворцова, “Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева”, Сиб. матем. журн., 29:1 (1988), 171–178; Siberian Math. J., 29:1 (1988), 133–139
Цитирование в формате AMSBIB
\RBibitem{Skv88}
\by Е.~З.~Скворцова
\paper Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева
\jour Сиб. матем. журн.
\yr 1988
\vol 29
\issue 1
\pages 171--178
\mathnet{http://mi.mathnet.ru/smj7398}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0936795}
\zmath{https://zbmath.org/?q=an:0661.03003}
\transl
\jour Siberian Math. J.
\yr 1988
\vol 29
\issue 1
\pages 133--139
\crossref{https://doi.org/10.1007/BF00975025}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1988R331600016}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj7398
  • https://www.mathnet.ru/rus/smj/v29/i1/p171
    • Эта публикация цитируется в следующих 8 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:54
    PDF полного текста:25
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024