For citations:

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