[1]
K├╝rbis, N. 2019. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. Bulletin of the Section of Logic. 48, 2 (Jun. 2019), 81-97. DOI:https://doi.org/10.18778/0138-0680.48.2.01.