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), pp. 81-97. doi: 10.18778/0138-0680.48.2.01.