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