Поиск :
Личный кабинет :
Электронный каталог: Теория доказательств и конструктивная математика
Теория доказательств и конструктивная математика
Доступно
1 из 1
1 из 1
Книга
Автор:
Справочная книга по математической логике. Ч.4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике. Ч.4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
Заказать 
На полку
Многотомник
С14
Справочная книга по математической логике : В 4-х ч. / Ред.: Д.Барвайс. – М. : Наука.
Книга
С14 С-741
Ч.4 : Теория доказательств и конструктивная математика / Пер. с англ.: Г.В.Давыдов, Г.Е.Минц ; Ред. пер. с англ.: В.П.Оревков. – 1983. – 389 с. : ил.
С14
Справочная книга по математической логике : В 4-х ч. / Ред.: Д.Барвайс. – М. : Наука.
Книга
С14 С-741
Ч.4 : Теория доказательств и конструктивная математика / Пер. с англ.: Г.В.Давыдов, Г.Е.Минц ; Ред. пер. с англ.: В.П.Оревков. – 1983. – 389 с. : ил.
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |
Привязано к:
