@misc{indiciae842cef650e39,
  title = {Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic},
  author = {Nils Kürbis},
  year = {2021},
  doi = {10.18778/0138-0680.48.4.04},
  url = {https://arxiv.org/abs/2108.01977},
  note = {Source identifier: 2108.01977}
}