|
Записки научных семинаров ЛОМИ, 1971, том 20, страницы 200–207
(Mi znsl2409)
|
|
|
|
Одно свойство перечислимых множеств, содержащих “сложно выводимые” формулы
А. О. Слисенко
Образец цитирования:
А. О. Слисенко, “Одно свойство перечислимых множеств, содержащих “сложно выводимые” формулы”, Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, Изд-во «Наука», Ленинград. отд., Л., 1971, 200–207
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2409 https://www.mathnet.ru/rus/znsl/v20/p200
|
|