TY - JOUR AU - S. M. Dudakov TI - On finite subsets monoid with decidable theory JO - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika PY - 2024 SP - 27 EP - 38 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VTPMK_2024_2_a2/ LA - ru ID - VTPMK_2024_2_a2 ER -