
Название: Рекурсивный математический анализ
Автор: Гудстейн Р. Л.
Издательство: Наука
Год: 1970
Формат: DjVu
Страниц: 471
Размер: 10.1 MB
Язык: Русский
Основу этой книги составляют две монографии Р. Л. Гудстейна: «Рекурсивная теория чисел» и «Рекурсивный анализ». Монография «Рекурсивная теория чисел» содержит систематическое и обстоятельное описание и исследование построенного Гудстейном исчисления п. р. равенств и некоторых модификаций этого исчисления; в ней описываются и изучаются также некоторые „надстройки" над исчислением равенств, использующие определенные расширения языка исчисления равенств и допускающие „переводы" в исчисление равенств