Старчак Михаил Романович

Публикации в базе данных Math-Net.Ru

1. Доказательство теоремы Бельтюкова - Липшица квазиэлиминацией кванторов. II. Основное сведение
   
   Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 8:4 (2021),  608–619
2. Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма
   
   Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 8:3 (2021),  455–466