Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
математика
математика конструктивная
Документи:
Мартин-Леф, П.
Очерки по конструктивной математике [Текст] / П. Мартин-Леф ; пер. с анг. Г. Е. Минца ; под ред. А. Г. Драгалина. – М. : Мир, 1975. – 136 с. – 0,40 грн.
Справочная книга по математической логике [Текст] : В 4-х частях: Пер. с английского. Ч.4 : Теория доказательств и конструктивная математика / К. Смотринский, Г. Швихтенберг, Р. Стетмен и др.; Пер. Г.В. Давыдова, Г.Е. Минца; Под ред. В.П. Оревкова. – М. : Наука, 1983. – 391с : ил. – Библиогр. в конце глав.
Інформаційно-пошукова система
'УФД/Бібліотека'