Arithmetical Decidability of Homogeneous and Almost Prime Countable Models of Ehrenfeucht Theories with Arithmetical Types

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование