Поиск :
Личный кабинет :
Электронный каталог: Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Доступно
1 из 1
1 из 1
Книга
Автор:
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Издательство: Наука, 1983 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Издательство: Наука, 1983 г.
ISBN отсутствует
Заказать 
На полку
Книга
УДК 51 (083) С 741
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструктивная математика : пер. с англ. / ред. Дж Барвайс. – М. : Наука, 1983. – 391 с.
51(083)
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : математическая логика
820514 Кх
УДК 51 (083) С 741
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструктивная математика : пер. с англ. / ред. Дж Барвайс. – М. : Наука, 1983. – 391 с.
51(083)
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : математическая логика
820514 Кх