Kürbis, Nils. “A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation”. Bulletin of the Section of Logic 48, no. 2 (June 30, 2019): 81–97. Accessed March 28, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/5440.