Kostrzycka Z. Interpolation in Normal Extensions of the Brouwer Logic. B Sect Log [Internet]. 2016 Dec. 30 [cited 2025 Dec. 9];45(3/4):171–184. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/1816