Марченков, С. С. Элементарные рекурсивные функции [Text] : монография / С. С. Марченков. - М. : МЦНМО, 2003. - 112 с. - ^aБиблиогр.: с. 109-111. Предм. указ.: с. 112. - ISBN 5-94057-098-4 : Б. ц.
Свободных экз. нет |
Клини, С. К. Введение в метаматематику [Text] : монография / С. К. Клини; пер. с англ. А.С. Есенина-Вольпина, под ред. В. А. Успенского. - Изд. 2-е, испр. - М. : УРСС, 2009. - 523 с. - (Физико-математическое наследие: математика (основания математики и логика)). - ^aБиблиогр.: с. 493-509. - Kleene S.C. / 1939. - ISBN 978-5-397-00105-2 : Б. ц. Примечание о содержании: 0 ^aВведение в область мат. логики и теор. рекурсивн. ф-ций и в исслед. по основаниям матем-ки вообще
Математическая логика Рекурсивные функции Свободных экз. нет |
Капитонова, Юлия Владимировна. Математическая теория проектирования вычислительных систем [Text] / Ю. В. Капитонова, А. А. Летичевский. - Москва : Наука, Главная редакция физико-математической литературы, 1988. - 294, [1] с. - ^aБиблиография: с. 292—295 (93 назв.). - ISBN 5-02-013777-4 : Б. ц.
МАТЕМАТИЧЕСКИЕ МОДЕЛИ ДИСКРЕТНЫЕ СИСТЕМЫ АЛГОРИТМЫ (математика, информатика) РЕКУРСИВНЫЕ ФУНКЦИИ АРХИТЕКТУРА ЭВМ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Летичевский, Александр Адольфович Свободных экз. нет |
Марченков, С. С. Классы элементарных рекурсивных функций [Text] : монография / С. С. Марченков. - М. : Физматлит, 2017. - 136с. - ^aБиблиогр.: с. 133-135 (45 назв.). Предм. указ.: с. 136. - ISBN 978-5-9221-1714-2 : р260 р.
Свободных экз. нет |