Journal of Logic and Computation

RUS ENG

Full version

JOURNALS // Journal of Logic and Computation

© Steklov Math. Inst. of RAS, 2024