Вернуться к Подробностям о статье Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма Скачать Скачать PDF