Chlebowski S, Leszczyńska-Jasion D. An Investigation into Intuitionistic Logic with Identity. B Sect Log [Internet]. 2019 Dec. 31 [cited 2024 May 3];48(4):259–283. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/6272