|
Труды Математического института имени В. А. Стеклова, 2011, том 274, страницы 222–251
(Mi tm3331)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Обзор предикатной логики реализуемости
В. Е. Плиско Механико-математический факультет, Московский государственный университет им. М. В. Ломоносова, Москва, Россия
Аннотация:
Работа содержит обзор результатов и методов исследования интерпретаций предикатных формул, основанных на конструктивных семантиках элементарного языка формальной арифметики и его расширений.
Поступило в январе 2011 г.
Образец цитирования:
В. Е. Плиско, “Обзор предикатной логики реализуемости”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 222–251; Proc. Steklov Inst. Math., 274 (2011), 204–230
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm3331 https://www.mathnet.ru/rus/tm/v274/p222
|
Статистика просмотров: |
Страница аннотации: | 418 | PDF полного текста: | 602 | Список литературы: | 71 |
|