Поиск :
Личный кабинет :
Электронный каталог: Теория доказательств и конструктивная математика
Теория доказательств и конструктивная математика
Книга
Автор:
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
Заказать 
На полку
Многотомник
Справочная книга по математической логике : в 4 ч. : пер. с англ. / редактор Дж. Барвайс.– Москва : Наука, 1982-.
Книга
517 С74
1512168 ОСН
Ч. 4 : Теория доказательств и конструктивная математика / К. Сморинский, [и др.].– 1983.– 391 с. : ил.
517
-- 1. Доказательства – (мат.). 2. Математика – Конструктивная. 3. Математическая логика.
Справочная книга по математической логике : в 4 ч. : пер. с англ. / редактор Дж. Барвайс.– Москва : Наука, 1982-.
Книга
517 С74
1512168 ОСН
Ч. 4 : Теория доказательств и конструктивная математика / К. Сморинский, [и др.].– 1983.– 391 с. : ил.
517
-- 1. Доказательства – (мат.). 2. Математика – Конструктивная. 3. Математическая логика.
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ОСН | Общий | 1 | 1 | 1 | Заказать |
Привязано к:
Многотомник
Справочная книга по математической логике: в 4 ч., пер. с англ.
Наука, 1982- г.
ISBN отсутствует
Справочная книга по математической логике: в 4 ч., пер. с англ.
Наука, 1982- г.
ISBN отсутствует