ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Справочная книга по математической логике в четырех частях. Ч.4. Теория доказательств и конструкт...
Книга
Автор:
Справочная книга по математической логике в четырех частях. Ч.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 Кх