Поиск :
Личный кабинет :
Электронный каталог: Теория доказательств и конструктивная математика
Теория доказательств и конструктивная математика
Доступно
1 из 1
1 из 1
Книга
Автор:
Справочная книга по математической логике. Ч. 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. Математическая логика.
Привязано к:
Многотомник
Справочная книга по математической логике: в 4 ч., пер. с англ.
Наука, 1982- г.
ISBN отсутствует
Справочная книга по математической логике: в 4 ч., пер. с англ.
Наука, 1982- г.
ISBN отсутствует