Indrzejczak, A. “Fregean Description Theory in Proof-Theoretical Setting”. Logic and Logical Philosophy, vol. 28, no. 1, June 2018, pp. 137-55, doi:10.12775/LLP.2018.008.