TY  - JOUR
AU  - R. È. Yavorskii
TI  - Decidable first order logics
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1998
SP  - 733
EP  - 749
VL  - 4
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_1998_4_2_a18/
LA  - ru
ID  - FPM_1998_4_2_a18
ER  -