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