Indrzejczak, A. (2018). Fregean Description Theory in Proof-Theoretical Setting. Logic and Logical Philosophy, 28(1), 137–155. https://doi.org/10.12775/LLP.2018.008