@misc{indiciae586c1a22a393,
  title = {A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation},
  author = {Nils Kürbis},
  year = {2021},
  doi = {10.18778/0138-0680.48.2.01},
  url = {https://arxiv.org/abs/2108.01976},
  note = {Source identifier: 2108.01976}
}