Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
формула
формула кванторная
Документи:
Денисов, А. С.
Выполнимость ярких формул [Текст] / А. С. Денисов // Український математичний журнал. – 2007. – 59, № 10. – 1432-1435.
Інформаційно-пошукова система
'УФД/Бібліотека'