1.
K├╝rbis N. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. B Sect Log [Internet]. 2019Jun.30 [cited 2020Sep.19];48(2):81-97. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/5440