|
Известия Академии наук СССР. Серия математическая, 1953, том 17, выпуск 1, страницы 63–76
(Mi im3433)
|
|
|
|
Проблема спектра в расширенном исчислении предикатов
А. А. Зыков
Аннотация:
В работе ставится допрос о выработке понятия спектра, полностью
характеризующего содержательный смысл формулы расширенного исчисления
предикатов, не содержащей свободных переменных, и показывается,
что этот вопрос достаточно решить для формул весьма частного
вида.
Поступило в редакцию: 07.03.1952
Образец цитирования:
А. А. Зыков, “Проблема спектра в расширенном исчислении предикатов”, Изв. АН СССР. Сер. матем., 17:1 (1953), 63–76
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im3433 https://www.mathnet.ru/rus/im/v17/i1/p63
|
Статистика просмотров: |
Страница аннотации: | 231 | PDF полного текста: | 146 | Первая страница: | 1 |
|