Поиск :
Личный кабинет :
Электронный каталог: Крайзель, Г. - Исследования по теории доказательств
Крайзель, Г. - Исследования по теории доказательств
Доступно
2 из 2
2 из 2
Книга
Автор: Крайзель, Г.
Исследования по теории доказательств : Сборник статей
Серия: Математика. Новое в зарубежной науке
Издательство: Мир, 1981 г.
ISBN отсутствует
Автор: Крайзель, Г.
Исследования по теории доказательств : Сборник статей
Серия: Математика. Новое в зарубежной науке
Издательство: Мир, 1981 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 К-775
Крайзель, Г.
Исследования по теории доказательств : Сборник статей / Г.Крайзель ; Пер. с англ.: Ю.А.Гастев, Г.Е.Минц ; Ред.: С.Ю.Маслов. – М. : Мир, 1981. – 289 с. – (Математика. Новое в зарубежной науке ; 23).
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 К-775
Крайзель, Г.
Исследования по теории доказательств : Сборник статей / Г.Крайзель ; Пер. с англ.: Ю.А.Гастев, Г.Е.Минц ; Ред.: С.Ю.Маслов. – М. : Мир, 1981. – 289 с. – (Математика. Новое в зарубежной науке ; 23).
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 2 | 2 | 2 | Заказать |