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

Цибульский Д.А. Некоторые специальные случаи интерполяционной теоремы для интуиционистского исчисления предикатов. Чебышевский сборник. 2025;26(4):212-223. https://doi.org/10.22405/2226-8383-2025-26-4-212-223

For citation:

Cybulski D.A. Some special cases of the interpolation theorem for intuitionistic predicate calculus. Chebyshevskii Sbornik. 2025;26(4):212-223. (In Russ.) https://doi.org/10.22405/2226-8383-2025-26-4-212-223