Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
П
подформульность
Документи:
Пынько, А. П.
Генценовское исчисление с устранимым сечением и свойством подформульности для первопорядкового следования логики Дамметта [Текст] / А. П. Пынько // Доповіді НАНУ. – 2004. – № 5. – 69-73.
Інформаційно-пошукова система
'УФД/Бібліотека'
