Поиск :
Личный кабинет :
Электронный каталог: Гильберт, Давид - Основания математики: Логич.исчисления и формализация арифметики
Гильберт, Давид - Основания математики: Логич.исчисления и формализация арифметики
Доступно
3 из 3
3 из 3
Книга
Автор: Гильберт, Давид
Основания математики: Логич.исчисления и формализация арифметики
Серия: Математическая логика и основания математики
Издательство: Наука, 1979 г.
ISBN отсутствует
Автор: Гильберт, Давид
Основания математики: Логич.исчисления и формализация арифметики
Серия: Математическая логика и основания математики
Издательство: Наука, 1979 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 Г-474
Гильберт, Давид.
Основания математики: Логич.исчисления и формализация арифметики / Давид Гильберт, Пауль Бернайс ; Пер. с нем. Н.М.Нагорный ; Ред.: С.И.Адян. – М. : Наука, 1979. – 557 с. – (Математическая логика и основания математики).
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 Г-474
Гильберт, Давид.
Основания математики: Логич.исчисления и формализация арифметики / Давид Гильберт, Пауль Бернайс ; Пер. с нем. Н.М.Нагорный ; Ред.: С.И.Адян. – М. : Наука, 1979. – 557 с. – (Математическая логика и основания математики).
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ