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