Електронний каталог науково-технічної бібліотеки ІФНТУНГ

Пошук Відібрані Формуляр Опис документа
Науковий архів ІФНТУНГ Сайт бібліотеки Сайт ІФНТУНГ
510
С74          Справочная книга по математической логике [Текст] : в 4 ч. Ч. 4 : Теория доказательств и конструктивная математика / Барвайс Д., ред. – М. : Наука, 1983. – 391 с.


УДК 510(03)

            


Примірники
Місце збереження Кількість В наявностi
АбНН - Аб. наук. та навч. л-ри 1 1
К/сх - Книгосховище 2 2


Теми документа


Статистика використання: Видач: 0





Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'