TY - JOUR AU - A. M. Gaisin AU - G. A. Gaisina TI - Refinement of Macintyre --- Evgrafov type theorems JO - Čelâbinskij fiziko-matematičeskij žurnal PY - 2023 SP - 309 EP - 318 VL - 8 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CHFMJ_2023_8_3_a0/ LA - ru ID - CHFMJ_2023_8_3_a0 ER -