TY  - JOUR
AU  - A. V. Ilev
TI  - Axiomatizability and decidability of universal theories of hereditary classes of models of finite and infinite languages
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2024
SP  - 14
EP  - 29
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2024_4_a1/
LA  - ru
ID  - PDM_2024_4_a1
ER  -