Kostrzycka Z. From Intuitionism to Brouwer’s Modal Logic . B Sect Log [Internet]. 2020 Dec. 30 [cited 2025 Dec. 8];49(4):343-58. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8174