INDRZEJCZAK, A. Free Definite Description Theory – Sequent Calculi and Cut Elimination. Logic and Logical Philosophy, [S. l.], v. 29, n. 4, p. 505–539, 2020. DOI: 10.12775/LLP.2020.020. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2020.020. Acesso em: 29 mar. 2024.