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