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