Поиск :
Личный кабинет :
Электронный каталог: Теория доказательств и конструктивная математика
Теория доказательств и конструктивная математика
Доступно
2 из 2
2 из 2
Книга
Автор:
Справочная книга по математической логике. 4/4: Теория доказательств и конструктивная математика
Издательство: Наука, 1983 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике. 4/4: Теория доказательств и конструктивная математика
Издательство: Наука, 1983 г.
ISBN отсутствует
Заказать 
На полку
Многотомник
Справочная книга по математической логике / ред. Дж. Барвайс . – М. : Наука, 1982 .
Книга
0-2 С-741
4/4 : Теория доказательств и конструктивная математика / К. Сморинский, Г. Швихтенберг, Р. Стетмен, др. . – М. : Наука, 1983 . – 391 с. : ил. + Библиогр. в конце глав. : руб. 2.10 .
510.6(035.5)
553311 01:Книгохранение
556029 01:Книгохранение
Справочная книга по математической логике / ред. Дж. Барвайс . – М. : Наука, 1982 .
Книга
0-2 С-741
4/4 : Теория доказательств и конструктивная математика / К. Сморинский, Г. Швихтенберг, Р. Стетмен, др. . – М. : Наука, 1983 . – 391 с. : ил. + Библиогр. в конце глав. : руб. 2.10 .
510.6(035.5)
553311 01:Книгохранение
556029 01:Книгохранение
