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