Kürbis, N. 2019. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic. Bulletin of the Section of Logic. 48, 4 (Dec. 2019), 299–317. DOI:https://doi.org/10.18778/0138-0680.48.4.04.