KÜRBIS, N. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. Bulletin of the Section of Logic, [S. l.], v. 48, n. 2, p. 81-97, 2019. DOI: 10.18778/0138-0680.48.2.01. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/5440. Acesso em: 19 sep. 2020.