TY  - JOUR
AU  - D. A. Cybulski
TI  - Special cases of the interpolation theorem for classical predicate calculus
JO  - Čebyševskij sbornik
PY  - 2024
SP  - 222
EP  - 234
VL  - 25
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CHEB_2024_25_2_a12/
LA  - ru
ID  - CHEB_2024_25_2_a12
ER  -