Для цитирования:

Цибульский Д.А. Специальные случаи интерполяционной теоремы для классического исчисления предикатов. Чебышевский сборник. 2024;25(2):222-234. https://doi.org/10.22405/2226-8383-2024-25-2-222-234

For citation:

Cybulski D.A. Special cases of the interpolation theorem for classical predicate calculus. Chebyshevskii Sbornik. 2024;25(2):222-234. (In Russ.) https://doi.org/10.22405/2226-8383-2024-25-2-222-234