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