Kostrzycka, Zofia. “Interpolation in Normal Extensions of the Brouwer Logic”. Bulletin of the Section of Logic 45, no. 3/4 (December 30, 2016): 171–184. Accessed April 26, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/1816.