|
Труды ордена Ленина Математического института имени В. А. Стеклова, 1973, том 133, страницы 59–64
(Mi tm2734)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Обобщенные вычисления
Н. В. Белякин
Аннотация:
Строится рекурсивная иерархия, такая, что описываемый ею класс множеств образует модель одного фрагмента арифметики второй ступени. В основе построения лежат методы, которые в определенном смысле являются конструктивными.
Библ. – 2 назв.
Образец цитирования:
Н. В. Белякин, “Обобщенные вычисления”, Математическая логика, теория алгоритмов и теория множеств, Сборник работ. Посвящается академику Петру Сергеевичу Новикову к его семидесятилетию, Тр. МИАН СССР, 133, 1973, 59–64; Proc. Steklov Inst. Math., 133 (1977), 57–61
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm2734 https://www.mathnet.ru/rus/tm/v133/p59
|
|