Indrzejczak A. Free Definite Description Theory – Sequent Calculi and Cut Elimination. LLP [Internet]. 2020 Oct. 30 [cited 2024 Apr. 20];29(4):505-39. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2020.020