MathLib
LibMeta
Решение
Graph RAG
Лаборатория
Блог
О проекте
Команда
RU
EN
LibMeta
/
S p e ck er E
Матэнциклопедия
Источник Матэнциклопедии
Публикация
Документ
S p e ck er E
http://libmeta.ru/resource/mathenc/publication/p7753
Данные
bibliographicCitation
S p e ck er E., "J. Symbol. Log.", 1949, v. 14, № 3, p. 145- 158
Входящие связи
← ссылается на · 1
Конструктивный анализ
← цитирует · 1
Конструктивный анализ