@misc{indiciae9076114d849f,
  title = {Russell's Theory of Definite Descriptions in the Light of Structural Proof Theory},
  author = {Andrzej Indrzejczak and Nils Kürbis},
  year = {2026},
  doi = {10.1007/s11229-026-05630-w},
  url = {https://arxiv.org/abs/2606.11750},
  note = {Source identifier: 2606.11750}
}